Travelled to:1 × Japan
1 × USA
1 × United Kingdom
2 × Austria
Collaborated with:T.Brázdil A.Kucera S.Kiefer D.Klaska K.Chatterjee D.Wojtczak J.Katoen
Talks about:probabilist (2) consumpt (2) counter (2) system (2) minim (2) run (2) behaviour (1) synthesi (1) reachabl (1) automata (1)
Person: Petr Novotný
DBLP: Novotn=yacute=:Petr
Contributed to:
2015
201420142012
2012Wrote 5 papers:
- LICS-2015-BrazdilKKN #behaviour #probability
- Long-Run Average Behaviour of Probabilistic Vector Addition Systems (TB, SK, AK, PN), pp. 44–55.
- CAV-2014-BrazdilKKN #low cost
- Minimizing Running Costs in Consumption Systems (TB, DK, AK, PN), pp. 457–472.
- LICS-CSL-2014-BrazdilKKNK #automaton #multi #probability
- Zero-reachability in probabilistic multi-counter automata (TB, SK, AK, PN, JPK), p. 10.
- CAV-2012-BrazdilCKN #game studies #multi #performance #synthesis
- Efficient Controller Synthesis for Consumption Games with Multiple Resource Types (TB, KC, AK, PN), pp. 23–38.
- ICALP-v2-2012-BrazdilKNW #markov #process #termination
- Minimizing Expected Termination Time in One-Counter Markov Decision Processes (TB, AK, PN, DW), pp. 141–152.