Petr Novotný

1. Foundations of Probabilistic Programming
   2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 6 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
2. Lexicographic Ranking Supermartingales: An Efficient Approach to\n Termination of Probabilistic Programs
   2017/09/12 by Sheshansh Agrawal, Agrawal, Sheshansh, Krishnendu Chatterjee +3 · 10 citations
   Decision Sciences · Computer Science · #Decision-Making and Behavioral Economics #Bayesian Modeling and Causal Inference #Risk and Portfolio Optimization
3. Pladias Database of the Czech flora and vegetation
   2021/01/01 by Milan Chytrý, Jiří Danihelka, Zdeněk Kaplan +36 · 4 citations
4. Algorithmic Analysis of Qualitative and Quantitative Termination\n Problems for Affine Probabilistic Programs
   2015/10/28 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Hongfei Fu +5 · 2 citations
   Computer Science · Decision Sciences · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Multi-Criteria Decision Making
5. On Lexicographic Proof Rules for Probabilistic Termination
   2021/08/04 by Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Chatterjee, Krishnendu +7 · 2 citations
   Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Decision-Making and Behavioral Economics #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL)
6. Expectation Optimization with Probabilistic Guarantees in POMDPs with\n Discounted-sum Objectives
   2018/04/27 by Krishnendu Chatterjee, Adrián Elgyütt, Chatterjee, Krishnendu +5 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning and Algorithms #Reinforcement Learning in Robotics
7. Reinforcement Learning of Risk-Constrained Policies in Markov Decision\n Processes
   2020/02/27 by Tomǎš Brázdil, Brazdil, Tomas, Krishnendu Chatterjee +6 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
8. Qualitative Controller Synthesis for Consumption Markov Decision\n Processes
   2020/05/14 by František Blahoudek, Tomǎš Brázdil, Blahoudek, František +9 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Real-Time Systems Scheduling
9. Efficient Strategy Synthesis for MDPs with Resource Constraints
   2021/05/05 by František Blahoudek, Blahoudek, František, Petr Novotný +7 · 1 citation
   Computer Science · Decision Sciences · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Complex Systems and Decision Making #FOS: Computer and information sciences #FOS: Electrical engineering #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
10. Equivalence and Similarity Refutation for Probabilistic Programs
    2024/04/04 by Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Chatterjee, Krishnendu +5 · 1 citation
    Computer Science · #Bayesian Modeling and Causal Inference #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning and Algorithms #Programming Languages (cs.PL)
11. Spatial patterns of species richness in the Czech flora
    2025/01/01 by Barbora Klímová, Jan Divíšek, Martin Večeřa +7 · 1 voice · 1 citation
    Agricultural and Biological Sciences · #Botany and Plant Ecology Studies #Mediterranean and Iberian flora and fauna #Bryophyte Studies and Records
12. Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
    2024/12/18 by Martin Kurečka, Kurečka, Martin, Václav Nevyhoštěný +5 · 1 citation
    Computer Science · #Natural Language Processing Techniques #Generative Adversarial Networks and Image Synthesis #Topic Modeling