probabilistic model checking

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking AAAI 2026 Qualitative Analysis of ω-Regular Objectives on Robust MDPs AAAI 2026 Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives AAAI 2026 Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees UAI 2026 Learning Probabilistic Temporal Logic Specifications for Stochastic Systems IJCAI 2025 Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments IJCAI 2025 Analyzing Intentional Behavior in Autonomous Agents under Uncertainty IJCAI 2023 Explainable Multi-Agent Reinforcement Learning for Temporal Queries IJCAI 2023 Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees IJCAI 2023 Verifying Fault-Tolerance in Probabilistic Swarm Systems IJCAI 2020 Probabilistic Model Checking of Robots Deployed in Extreme Environments AAAI 2019 Reduction Techniques for Model Checking and Learning in MDPs IJCAI 2017 Resilient Control and Safety for Multi-Agent Cyber-Physical Systems IJCAI 2017