Buchumschlag

Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barbot, Benoît, Busatto-Gaston, Damien, Dima, Catalin, Oualhadj, Youssouf
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computer Science and Game Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Arena-Independent Finite-Memory Determinacy in Stochastic Games
von: Bouyer, Patricia, et al.
Veröffentlicht: (2021)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
von: Bouyer, Patricia, et al.
Veröffentlicht: (2022)

Fairness and promptness in Muller formulas
von: Busatto-Gaston, Damien, et al.
Veröffentlicht: (2022)

Deciding the synthesis problem for hybrid games through bisimulation
von: Dima, Catalin, et al.
Veröffentlicht: (2024)

Synthesis of Robust Optimal Strategies in Weighted Timed Games
von: Monmege, Benjamin, et al.
Veröffentlicht: (2024)

Clone-Robust Weights in Metric Spaces: Handling Redundancy Bias for Benchmark Aggregation
von: Berriaud, Damien, et al.
Veröffentlicht: (2025)

Breaking the Illusion of Artificial Consensus: Clone-Robust Weighting for Arbitrary Metric Spaces
von: Berriaud, Damien, et al.
Veröffentlicht: (2026)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

Games on Graphs: From Logic and Automata to Algorithms
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2023)

Winning Strategies for the Synchronization Game on Subclasses of Finite Automata
von: Fernau, Henning, et al.
Veröffentlicht: (2024)

An Automata-Based Approach to Games with $ω$-Automatic Preferences
von: Bruyère, Véronique, et al.
Veröffentlicht: (2026)

Distributional Robustness of Linear Contracts
von: Zuo, Shiliang
Veröffentlicht: (2026)

Near-Optimal Dropout-Robust Sortition
von: Gambhir, Maya Pal, et al.
Veröffentlicht: (2025)

Computing Adequately Permissive Assumptions for Synthesis
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

TimeBoost: Do Ahead-of-Time Auctions Work?
von: Mamageishvili, Akaki, et al.
Veröffentlicht: (2025)

Job-Scheduling Games with Time-Dependent Processing Times
von: Borenstein, Ido, et al.
Veröffentlicht: (2026)

Robustness of voting mechanisms to external information in expectation
von: Chen, Yiling, et al.
Veröffentlicht: (2024)

Robust Committee Voting, or The Other Side of Representation
von: Kehne, Gregory, et al.
Veröffentlicht: (2025)

Robust Resource Allocation via Competitive Subsidies
von: Lin, David X., et al.
Veröffentlicht: (2025)

Robust Stable Matchings: Dealing with Changes in Preferences
von: Gangam, Rohith Reddy, et al.
Veröffentlicht: (2026)

Robust Temporal Guarantees in Budgeted Sequential Auctions
von: Fikioris, Giannis, et al.
Veröffentlicht: (2026)

Anonymous and Copy-Robust Delegations for Liquid Democracy
von: Utke, Markus, et al.
Veröffentlicht: (2023)

Just-in-Time Resale in an Ahead-of-Time Auction: An Event Study
von: Öz, Burak, et al.
Veröffentlicht: (2026)

Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
von: Brihaye, Thomas, et al.
Veröffentlicht: (2023)

Intrinsic Robustness of Prophet Inequality to Strategic Reward Signaling
von: Tang, Wei, et al.
Veröffentlicht: (2024)

On Robustness to $k$-wise Independence of Optimal Bayesian Mechanisms
von: Gravin, Nick, et al.
Veröffentlicht: (2024)

The Complexity of Computing Robust Mediated Equilibria in Ordinal Games
von: Conitzer, Vincent
Veröffentlicht: (2024)

Distributionally Robust Games via Coherent Risk Measures
von: Gangwani, Bharat, et al.
Veröffentlicht: (2026)

Nonbossy Mechanisms: Mechanism Design Robust to Secondary Goals
von: Leme, Renato Paes, et al.
Veröffentlicht: (2023)

Guarding Against Malicious Biased Threats (GAMBiT): Experimental Design of Cognitive Sensors and Triggers with Behavioral Impact Analysis
von: Beltz, Brandon, et al.
Veröffentlicht: (2025)

Algorithms and Analysis for Optimizing Robust Objectives in Fair Machine Learning
von: Cousins, Cyrus
Veröffentlicht: (2024)

Robust Information Design with Heterogeneous Beliefs in Bayesian Congestion Games
von: Hu, Yuwei, et al.
Veröffentlicht: (2026)

Robustness of Stable Matchings When Attributes and Salience Determine Preferences
von: Ronen, Amit, et al.
Veröffentlicht: (2026)

Characterizing Robustness of Strategies to Novelty in Zero-Sum Open Worlds
von: Kejriwal, Mayank, et al.
Veröffentlicht: (2026)

Black-Box Lifting and Robustness Theorems for Multi-Agent Contracts
von: Dütting, Paul, et al.
Veröffentlicht: (2025)

Convergence of Fast Policy Iteration in Markov Games and Robust MDPs
von: Badger, Keith, et al.
Veröffentlicht: (2025)

Most General Winning Secure Equilibria Synthesis in Graph Games
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2024)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

Incremental Data-Driven Policy Synthesis via Game Abstractions
von: Sağlam, Irmak, et al.
Veröffentlicht: (2025)

Worst- and Average-Case Robustness of Stable Matchings: (Counting) Complexity and Experiments
von: Boehmer, Kimon, et al.
Veröffentlicht: (2024)