Login / Signup
Costs and Rewards in Priced Timed Automata.
Martin Fränzle
Mahsa Shirmohammadi
Mani Swaminathan
James Worrell
Published in:
CoRR (2018)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
markov decision processes
theorem proving
first order logic
databases
reinforcement learning
distributed systems
free riding
real time
multi class
temporal logic
decision trees
knowledge base
cost savings
machine learning
multi armed bandits