Costs and rewards in priced timed automata.

Martin Fränzle Mahsa Shirmohammadi Mani Swaminathan James Worrell

Published in: Inf. Comput. (2022)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
reinforcement learning
first order logic
markov decision processes
artificial intelligence
information retrieval
multiarmed bandit
search engine
temporal logic
real time systems