Copertina

Omega-regular Verification and Control for Distributional Specifications in MDPs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Akshay, S., Neysari, Ouldouz, Žikelić, Đorđe
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

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

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

SuperDP: Differential Privacy Refutation via Supermartingales
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

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

Extending Action Logic with Omega Iteration
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

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

PolyQEnt: A Polynomial Quantified Entailment Solver
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Tractable Hyperproperties for MDPs
di: Gerlach, Lina, et al.
Pubblicazione: (2026)

Effect Algebras as Omega-categories
di: Perticone, Lorenzo, et al.
Pubblicazione: (2023)

Specification and Automatic Verification of Computational Reductions
di: Grange, Julien, et al.
Pubblicazione: (2024)

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

Multi-Environment MDPs with Prior and Universal Semantics
di: Bordais, Benjamin, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
di: Zhao, Yiqi, et al.
Pubblicazione: (2025)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
di: Dhonthi, Akshay, et al.
Pubblicazione: (2024)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
di: Wang, Peixin, et al.
Pubblicazione: (2025)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
di: Kanovich, Max, et al.
Pubblicazione: (2016)

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

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
di: Beers, Adrian, et al.
Pubblicazione: (2025)

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

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2025)

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

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
di: Marković, Đorđe, et al.
Pubblicazione: (2025)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
di: Altuntas, Alper, et al.
Pubblicazione: (2025)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
di: Chirica, Ion, et al.
Pubblicazione: (2025)

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

Formal Reasoning About Confidence and Automated Verification of Neural Networks
di: Afzal, Mohammad, et al.
Pubblicazione: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
di: Murali, Vishnu, et al.
Pubblicazione: (2026)

Verification of Robust Properties for Access Control Policies
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Hyperproperty Verification as CHC Satisfiability
di: Itzhaky, Shachar, et al.
Pubblicazione: (2023)

Craig Interpolation in Program Verification
di: Rümmer, Philipp
Pubblicazione: (2026)

Tools at the Frontiers of Quantitative Verification
di: Andriushchenko, Roman, et al.
Pubblicazione: (2024)