C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hybrid automata-based CEGAR for rectangular hybrid systems.
Pavithra Prabhakar
Parasara Sridhar Duggirala
Sayan Mitra
Mahesh Viswanathan
Published in:
Formal Methods Syst. Des. (2015)
Keyphrases
</>
hybrid systems
black box
intelligent systems
neural network
soft computing
meta learning
computational intelligence
discrete event
artificial intelligence
software engineering
simulation model
fuzzy logic
test set