Lifted model checking for relational MDPs

DOI10.1007/s10994-021-06102-7MaRDI QIDQ2102421

Jean-François Raskin, Luc De Raedt, Wen-Chi Yang

Publication date: 28 November 2022

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.11735

zbMATH Keywords

first-order logic; model checking; lifted inference; probabilistic computation tree logic (pCTL); relational MDPs

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

Uses Software

• PRISM
• FODD-Planner
• Storm

Cites Work

• Bounded situation calculus action theories
• Integrating guidance into relational reinforcement learning
• Practical solution techniques for first-order MDPs
• Foundations of inductive logic programming
• Many-dimensional modal logics: theory and applications
• First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
• Relational reinforcement learning with guided demonstrations
• Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
• Verification of Agent-Based Artifact Systems
• Iterative temporal motion planning for hybrid systems in partially unknown environments
• Quantitative Multi-objective Verification for Probabilistic Systems
• Reachability in MDPs: Refining Convergence of Value Iteration
• Game-Based Probabilistic Predicate Abstraction in PRISM
• Magnifying-Lens Abstraction for Markov Decision Processes
• Inductive Logic Programming
• Blocks World revisited
• Relational reinforcement learning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item