Login / Signup
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.
Rajeev Alur
Costas Courcoubetis
Thomas A. Henzinger
Pei-Hsin Ho
Published in:
Hybrid Systems (1992)
Keyphrases
</>
hybrid automata
hybrid systems
intelligent systems
black box
finite state automata
neural network
meta learning
soft computing
discrete event
computational intelligence
model checking
artificial intelligence
active learning
rough sets
learning tasks