On Time with Minimal Expected Cost!

DOI10.1007/978-3-319-11936-6_10zbMATH Open1448.68294OpenAlexW2481150835MaRDI QIDQ3457785FDOQ3457785

Didier Lime, Axel Legay, Peter Gjøl Jensen, Jakob Haahr Taankvist, Mathias Grund Sørensen, Alexandre David, Kim G. 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) Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)

Cited In (9)

• Markov automata with multiple objectives
• Safe and Optimal Adaptive Cruise Control
• Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata
• Optimal and robust controller synthesis using energy timed automata with uncertainty
• Optimal and robust controller synthesis. Using energy timed automata with uncertainty
• 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
• Probabilistic black-box reachability checking (extended version)
• Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games

Uses Software

• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457785)