Copertina

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Heck, Linus, Macák, Filip, Češka, Milan, Junges, Sebastian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Shields to Guarantee Probabilistic Safety in MDPs
di: Heck, Linus, et al.
Pubblicazione: (2026)

Policies Grow on Trees: Model Checking Families of MDPs
di: Andriushchenko, Roman, et al.
Pubblicazione: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
di: Andriushchenko, Roman, et al.
Pubblicazione: (2025)

Decentralized Planning Using Probabilistic Hyperproperties
di: Pontiggia, Francesco, et al.
Pubblicazione: (2025)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
di: Češka, Milan, et al.
Pubblicazione: (2026)

Probabilistic Model Checking Taken by Storm
di: Volk, Matthias, et al.
Pubblicazione: (2026)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
di: Li, Jinzhao, et al.
Pubblicazione: (2025)

Probabilistic and Causal Satisfiability: Constraining the Model
di: Bläser, Markus, et al.
Pubblicazione: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
di: Li, Jinzhao, et al.
Pubblicazione: (2023)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
di: Gerlach, Lina, et al.
Pubblicazione: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
di: D'Asaro, Fabio Aurelio, et al.
Pubblicazione: (2022)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
di: Orvalho, Pedro, et al.
Pubblicazione: (2026)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
di: Sebastiani, Roberto
Pubblicazione: (2025)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
di: Rodríguez, Andoni, et al.
Pubblicazione: (2024)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)

Shield Synthesis for LTL Modulo Theories
di: Rodriguez, Andoni, et al.
Pubblicazione: (2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
di: Cramer, Marcos, et al.
Pubblicazione: (2026)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
di: Kim, Curie, et al.
Pubblicazione: (2026)

Satisfiability Modulo Theories for Verifying MILP Certificates
di: Wood, Kenan, et al.
Pubblicazione: (2023)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2025)

The Computational Complexity of Satisfiability in State Space Models
di: Alsmann, Eric, et al.
Pubblicazione: (2025)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
di: Heck, Linus, et al.
Pubblicazione: (2025)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
di: Preiner, Mathias, et al.
Pubblicazione: (2026)

An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
di: Isabel, Miguel, et al.
Pubblicazione: (2026)

Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
di: Zhang, Leizhen, et al.
Pubblicazione: (2026)

Best-Effort Policies for Robust Markov Decision Processes
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
di: Erascu, Madalina
Pubblicazione: (2025)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
di: Ramirez, Miquel, et al.
Pubblicazione: (2024)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
di: Ye, Kangfeng, et al.
Pubblicazione: (2024)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
di: Soroka, Emiko, et al.
Pubblicazione: (2023)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
di: Akshay, S., et al.
Pubblicazione: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

Probabilistic Strategy Logic with Degrees of Observability
di: Mu, Chunyan, et al.
Pubblicazione: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
di: Haniková, Zuzana, et al.
Pubblicazione: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
di: Stoltenow, Lara, et al.
Pubblicazione: (2024)