BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Novotn=yacute=:Petr

Contributed to:

LICS 20152015
CAV 20142014
CSL-LICS 20142014
CAV 20122012
ICALP (2) 20122012

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.