Petr Novotný

Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves

Martin Kurečka, Václav Nevyhoštěný, Petr Novotný, Vít Unčovský

cz (code pays fourni par la source)

Refuting Equivalence in Probabilistic Programs with Conditioning

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić

at, cz, sg (code pays fourni par la source)

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

Guy Avni, Martin Kurečka, Kaushik Mallik, Petr Novotný et autres

Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves

Martin Kurečka, Václav Nevyhoštěný, Petr Novotný, Vít Unčovský

Equivalence and Similarity Refutation for Probabilistic Programs

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić

at, cz, sg (code pays fourni par la source)

Equivalence and Similarity Refutation for Probabilistic Programs

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić

Solving Long-run Average Reward Robust MDPs via Stochastic Games

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný et autres

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

David Klas̆ka, Antonı́n Kučera, Martin Kurečka, Vít Musil et autres

cz (code pays fourni par la source)

Shielding in Resource-Constrained Goal POMDPs

Michal Ajdarów, Šimon Brlej, Petr Novotný

cz (code pays fourni par la source)

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

David Klas̆ka, Antonı́n Kučera, Martin Kurečka, Vít Musil et autres

Games on Graphs: From Logic and Automata to Algorithms

Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer, Romain Brenguier et autres

fr, gb, us, be (code pays fourni par la source)

On Lexicographic Proof Rules for Probabilistic Termination

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky et autres

at, ir, cz (code pays fourni par la source)