On Time with Minimal Expected Cost!

DOI10.1007/978-3-319-11936-6_10zbMath1448.68294OpenAlexW2481150835MaRDI QIDQ3457785

Didier Lime, Axel Legay, Jakob Haahr Taankvist, Mathias Grund Sørensen, Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen

Publication date: 17 December 2015

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11936-6_10

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Applications of game theory (91A80) Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (9)

Safe and Optimal Adaptive Cruise Control ⋮ Markov automata with multiple objectives ⋮ Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata ⋮ Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints ⋮ Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty ⋮ Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games ⋮ Probabilistic black-box reachability checking (extended version) ⋮ Optimal and robust controller synthesis. Using energy timed automata with uncertainty

Uses Software

• Uppaal

This page was built for publication: On Time with Minimal Expected Cost!