Login / Signup

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.

Goran FrehseNikolaos KekatosDejan NickovicJens OehlerkingSimone SchulerAlexander WalschMatthias Woehrle
Published in: ACC (2018)
Keyphrases
  • hybrid automata
  • pattern matching
  • desirable properties
  • decision makers
  • structural properties