Abstract:
The Fifteenth Annual HCSS Conference (2015)
Call for Presentations
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid systems. State-of-the-art theorem provers, however, suffer from a significant lack of automation.
