Login / Signup
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop.
Takeshi Nagaoka
Kozo Okano
Shinji Kusumoto
Published in:
IEICE Trans. Inf. Syst. (2010)
Keyphrases
</>
high level
query refinement
real time
artificial intelligence
information technology
petri net
refinement process
learning algorithm
decision making
image processing
multiscale
reinforcement learning
multi agent
low level
decision theoretic planning