Lifted model checking for relational MDPs

DOI10.1007/s10994-021-06102-7OpenAlexW3174284282MaRDI 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 logicmodel checkinglifted inferenceprobabilistic computation tree logic (pCTL)relational MDPs

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Uses Software

• PRISM
• FODD-Planner
• Storm

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Lifted model checking for relational MDPs