Login / Signup
On parametric timed automata and one-counter machines.
Daniel Bundala
Joël Ouaknine
Published in:
Inf. Comput. (2017)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
artificial intelligence
case study
multiscale
learning algorithm
decision making
natural language
model selection
learning machines