Copertina

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Grobelna, Marta, Křetínský, Jan, Weininger, Maximilian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence Multiagent Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Sound Value Iteration for Simple Stochastic Games
di: Azeem, Muqsit, et al.
Pubblicazione: (2025)

Sound Value Iteration for Simple Stochastic Games
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

Rational Capability in Concurrent Games
di: Li, Yinfeng, et al.
Pubblicazione: (2025)

Robust Verification of Concurrent Stochastic Games
di: He, Angel Y., et al.
Pubblicazione: (2026)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
di: Kampik, Timotheus, et al.
Pubblicazione: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork
di: Dodampegama, Hasra, et al.
Pubblicazione: (2025)

An Epistemic Perspective on Agent Awareness
di: Naumov, Pavel, et al.
Pubblicazione: (2025)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
di: Léveillé, Dylan
Pubblicazione: (2025)

Hyper Strategy Logic
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Monitoring Second-Order Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Providing personalized Explanations: a Conversational Approach
di: Luo, Jieting, et al.
Pubblicazione: (2023)

Disagree and Commit: Degrees of Argumentation-based Agreements
di: Kampik, Timotheus, et al.
Pubblicazione: (2024)

Strength Change Explanations in Quantitative Argumentation
di: Kampik, Timotheus, et al.
Pubblicazione: (2026)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
di: Metere, Alfredo
Pubblicazione: (2026)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
di: Beutner, Raven, et al.
Pubblicazione: (2023)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
di: Gutierrez, Julian, et al.
Pubblicazione: (2023)

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
di: Sartor, Galileo, et al.
Pubblicazione: (2025)

Preregistered Belief Revision Contracts
di: Alqithami, Saad
Pubblicazione: (2026)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
di: Ho, Qi Heng, et al.
Pubblicazione: (2024)

Strategies in Sabotage Games: Temporal and Epistemic Perspectives
di: Gierasimczuk, Nina, et al.
Pubblicazione: (2026)

A Timed Obstruction Logic for Dynamic Game Models
di: Cortes, David, et al.
Pubblicazione: (2025)

Agentic System with Modal Logic for Autonomous Diagnostics
di: Sulc, Antonin, et al.
Pubblicazione: (2025)

Can Proof Assistants Verify Multi-Agent Systems?
di: Mendez, Julian Alfredo, et al.
Pubblicazione: (2025)

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
di: Alshammari, Tamara, et al.
Pubblicazione: (2026)

Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
di: Xu, Jianfeng
Pubblicazione: (2026)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
di: Jamroga, Wojciech, et al.
Pubblicazione: (2025)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
di: Bjorndahl, Adam
Pubblicazione: (2025)

Towards Probabilistic Strategic Timed CTL
di: Jamroga, Wojciech, et al.
Pubblicazione: (2026)

An Architecture for Spatial Networking
di: Millar, Josh, et al.
Pubblicazione: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
di: Guillou, Lucie, et al.
Pubblicazione: (2024)

Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
di: Meggendorfer, Tobias, et al.
Pubblicazione: (2024)

Towards Regulated Deep Learning
di: García-Camino, Andrés
Pubblicazione: (2019)

Learning Algorithms for Verification of Markov Decision Processes
di: Brázdil, Tomáš, et al.
Pubblicazione: (2024)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
di: Bhaduri, Purandar
Pubblicazione: (2025)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
di: Costantini, Stefania
Pubblicazione: (2024)

Dicey Games: Shared Sources of Randomness in Distributed Systems
di: Brice, Léonard, et al.
Pubblicazione: (2026)

Modelling Real-time Systems with Bigraphs
di: Albalwe, Maram, et al.
Pubblicazione: (2025)