Costs and Rewards in Priced Timed Automata.
Martin FränzleMahsa ShirmohammadiMani SwaminathanJames WorrellPublished in: ICALP (2018)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- reinforcement learning
- markov decision processes
- total cost
- expected cost
- real time systems
- first order logic
- theorem proving
- cost savings
- search engine
- multiarmed bandit
- databases
- bandit problems
- graphical models
- state space
- artificial intelligence
- machine learning