Taxonomic Search: Bruce Krogh

1 result

Results

file

Visible to the public Forward Invariant Cuts to Simplify Proofs of Safety

Abstract:

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.