Improving HyLTL model checking of hybrid systems
GandALF, pp. 79-92, 2013.
The problem of model-checking hybrid systems is a long-time challenge in the scientific community. Most of the existing approaches and tools are either limited on the properties that they can verify, or restricted to simplified classes of systems. To overcome those limitations, a temporal logic called HyLTL has been recently proposed. T...More
PPT (Upload PPT)