20 citations · 29 across the 6 of their papers we have counts for
1 paper · 2 filters
Nikos Arechiga, James Kapinski, Jyotirmoy Deshmukh +2
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid sys- tems; however, state-of-the-art theorem provers require ex- t…