Lifted model checking for relational MDPs
From MaRDI portal
Publication:2102421
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
first-order logic; model checking; lifted inference; probabilistic computation tree logic (pCTL); relational MDPs
68T05: Learning and adaptive systems in artificial intelligence
Uses Software
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