:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Anand, Ashwani, Nayak, Satya Prakash, Raha, Ritam, Schmuck, Anne-Kathrin
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2505.14689
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
par: Anand, Ashwani, et autres
Publié: (2026)

Quantitative Strategy Templates
par: Anand, Ashwani, et autres
Publié: (2025)

Fair Quantitative Games
par: Anand, Ashwani, et autres
Publié: (2025)

Universal Safety Controllers with Learned Prophecies
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Synthesis of Universal Safety Controllers
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
par: Schmuck, Anne-Kathrin, et autres
Publié: (2024)

Synthesizing Permissive Winning Strategy Templates for Parity Games
par: Anand, Ashwani, et autres
Publié: (2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
par: Anand, Ashwani, et autres
Publié: (2023)

Computing Adequately Permissive Assumptions for Synthesis
par: Anand, Ashwani, et autres
Publié: (2023)

About Time: Model-free Reinforcement Learning with Timed Reward Machines
par: Roy, Rajarshi, et autres
Publié: (2025)

Most General Winning Secure Equilibria Synthesis in Graph Games
par: Nayak, Satya Prakash, et autres
Publié: (2024)

Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop
par: Gitelson, Oz, et autres
Publié: (2025)

Shields to Guarantee Probabilistic Safety in MDPs
par: Heck, Linus, et autres
Publié: (2026)

Robust Shielding for Safe Reinforcement Learning
par: Court, Edwin Hamel-De le, et autres
Publié: (2026)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
par: Bednarczyk, Bartosz
Publié: (2023)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
par: Brorholt, Asger Horn, et autres
Publié: (2024)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
par: Nayak, Satya Prakash, et autres
Publié: (2022)

PiShield: A PyTorch Package for Learning with Requirements
par: Stoian, Mihaela Cătălina, et autres
Publié: (2024)

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

Concurrent Permissive Strategy Templates
par: Anand, Ashwani, et autres
Publié: (2026)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
par: Hsu, Tzu-Han, et autres
Publié: (2025)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
par: Shea-Blymyer, Colin, et autres
Publié: (2024)

Efficient Dynamic Shielding for Parametric Safety Specifications
par: Corsi, Davide, et autres
Publié: (2025)

Regularization in Spider-Style Strategy Discovery and Schedule Construction
par: Bártek, Filip, et autres
Publié: (2024)

$ω$-Regular Energy Problems
par: Dziadek, Sven, et autres
Publié: (2022)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
par: Balakrishnan, Anand, et autres
Publié: (2022)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
par: Brorholt, Asger Horn, et autres
Publié: (2025)

Shield Synthesis for LTL Modulo Theories
par: Rodriguez, Andoni, et autres
Publié: (2024)

ODRL Policy Comparison Through Normalisation
par: Salas, Jaime Osvaldo, et autres
Publié: (2026)

Formally Verified Approximate Policy Iteration
par: Schäffeler, Maximilian, et autres
Publié: (2024)

Complete $ω$-Regular Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2026)

Techniques for Measuring the Inferential Strength of Forgetting Policies
par: Doherty, Patrick, et autres
Publié: (2024)

Best-Effort Policies for Robust Markov Decision Processes
par: Abate, Alessandro, et autres
Publié: (2025)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

Solving Two-Player Games under Progress Assumptions
par: Schmuck, Anne-Kathrin, et autres
Publié: (2023)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
par: Heck, Linus, et autres
Publié: (2025)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
par: Ghosh, Avijeet, et autres
Publié: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
par: Akshay, S., et autres
Publié: (2024)

A Hierarchy of Supermartingales for $ω$-Regular Verification
par: Kura, Satoshi, et autres
Publié: (2025)