Starting a survey of tools for hybrid system state space exploration

During the past week Adam completed a draft digest of Carloni et al. In the coming week he will start writing a survey of hybrid system verification tools focused on their support for state space exploration. Such tools allow the user to visualise a conservative approximation of the state of a hybrid system over time.