Counterexample Generation for Hybrid Automata.

Johanna Nellen Erika Ábrahám Xin Chen Pieter Collins

Published in: FTSCS (2013)

Keyphrases

hybrid automata
finite state automata
generation process
decision makers