Login / Signup
Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata.
Ryo Yanase
Published in:
ICST (2017)
Keyphrases
</>
hybrid automata
finite state automata
high level
metadata
closed form
training data
neural network
computational complexity
object oriented
resource allocation