Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!

Patricia Bouyer Thomas Brihaye Fabrice Chevalier

Published in: LFCS (2007)

Keyphrases

hybrid systems
black box
expert systems
text classification
complex systems
model checking
theorem prover
timed automata