As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty

DOI10.1007/978-3-642-36742-7_27zbMath1381.68022OpenAlexW1503480312MaRDI QIDQ5326339

Marius Bozga, Oded Maler, Jean-Francois Kempf

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_27

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items

Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems, A maximal entropy stochastic process for a timed automaton