C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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