Imagen de Portada

Multi-Environment MDPs with Prior and Universal Semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bordais, Benjamin, Raskin, Jean-François
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Value Problem for Multiple-Environment MDPs with Parity Objective
por: Chatterjee, Krishnendu, et al.
Publicado: (2025)

A framework for computing upper bounds in passive learning settings
por: Bordais, Benjamin, et al.
Publicado: (2025)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
por: Bordais, Benjamin, et al.
Publicado: (2024)

The Complexity of Learning Temporal Properties
por: Bordais, Benjamin, et al.
Publicado: (2024)

Robust Almost-Sure Reachability in Multi-Environment MDPs
por: van der Vegt, Marck, et al.
Publicado: (2023)

Games with $ω$-Automatic Preference Relations
por: Bruyère, Véronique, et al.
Publicado: (2025)

A Zone-Based Algorithm for Timed Parity Games
por: Geeraerts, Gilles, et al.
Publicado: (2025)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
por: Suilen, Marnix, et al.
Publicado: (2024)

Tractable Hyperproperties for MDPs
por: Gerlach, Lina, et al.
Publicado: (2026)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
por: Balasubramanian, A. R., et al.
Publicado: (2020)

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

Decisiveness for countable MDPs and insights for NPLCSs and POMDPs
por: Bertrand, Nathalie, et al.
Publicado: (2020)

Omega-regular Verification and Control for Distributional Specifications in MDPs
por: Akshay, S., et al.
Publicado: (2025)

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

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
por: van der Vegt, Marck, et al.
Publicado: (2025)

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

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

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

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
por: Kohlen, Bram, et al.
Publicado: (2025)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
por: Chakraborty, Debraj, et al.
Publicado: (2026)

Programming and Reasoning in Partially Observable Probabilistic Environments
por: Gürtler, Tobias, et al.
Publicado: (2025)

Intentic Semantics for Potentialist Truthmaking
por: Gorbow, Paul
Publicado: (2026)

On Good-for-MDPs Automata
por: Schewe, Sven, et al.
Publicado: (2022)

Semantic Foundations of Reductive Reasoning
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Base-extension Semantics for Modal Logic
por: Eckhardt, Timo, et al.
Publicado: (2024)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
por: Buzoku, Yll, et al.
Publicado: (2025)

Regular Model Checking Upside-Down: An Invariant-Based Approach
por: Esparza, Javier, et al.
Publicado: (2022)

A General (Uniform) Relational Semantics for Sentential Logics
por: Hartonas, Chrysafis
Publicado: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
por: de Groot, Jim, et al.
Publicado: (2024)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
por: Perez, Mateo, et al.
Publicado: (2023)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
por: Pacheco, Leonardo
Publicado: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

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

Universal Horn Sentences and the Joint Embedding Property
por: Bodirsky, Manuel, et al.
Publicado: (2021)