226 citations · 272 across the 15 of their papers we have counts for
1 paper · 1 filter
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…