Cover Image

Decoupled Planning for Multiple Omega-Regular Objectives

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Avni, Guy, Henzinger, Thomas A., Mallik, Kaushik, Sadhukhan, Suman, Thejaswini, K. S.
Format:	Preprint
Published:	2026
Subjects:	Formal Languages and Automata Theory Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mean-payoff and Energy Discrete Bidding Games
by: Avni, Guy, et al.
Published: (2025)

Randomise Alone, Reach as a Team
by: Brice, Léonard, et al.
Published: (2026)

Auction-Based Scheduling
by: Avni, Guy, et al.
Published: (2023)

Computing Threshold Budgets in Discrete-Bidding Games
by: Avni, Guy, et al.
Published: (2022)

Privacy-Preserving Runtime Verification
by: Henzinger, Thomas A., et al.
Published: (2025)

Resolving Nondeterminism with Randomness
by: Henzinger, Thomas A., et al.
Published: (2025)

Sharing The Secret: Distributed Privacy-Preserving Monitoring
by: Karimi, Mahyar, et al.
Published: (2026)

Modelling and Analysis of Supply Chains using Product Time Petri Nets
by: Lubat, Eric, et al.
Published: (2026)

Controller synthesis method for multi-agent system based on temporal logic specification
by: Huang, Ruohan, et al.
Published: (2025)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
by: Zhao, Yiqi, et al.
Published: (2025)

A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
by: Rosa, Marcelo, et al.
Published: (2025)

History-Deterministic Büchi Automata are Succinct
by: Casares, Antonio, et al.
Published: (2026)

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
by: Angluin, Dana, et al.
Published: (2022)

The SCAN Statistical Model Checker
by: Ghiorzi, Enrico, et al.
Published: (2026)

Module checking of pushdown multi-agent systems
by: Bozzelli, Laura, et al.
Published: (2020)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
by: Balakrishnan, Anand, et al.
Published: (2025)

Equilibria in Multiplayer Graph Games: An Algorithmic Study
by: Brice, Léonard
Published: (2026)

QuAK: Quantitative Automata Kit
by: Chalupa, Marek, et al.
Published: (2024)

Safety and Liveness of Quantitative Properties and Automata
by: Boker, Udi, et al.
Published: (2023)

Quantitative Language Automata
by: Henzinger, Thomas A., et al.
Published: (2025)

Omega-Regular Robustness
by: Fisman, Dana, et al.
Published: (2025)

Information-flow Interfaces and Security Lattices
by: Bartocci, Ezio, et al.
Published: (2024)

On History-Deterministic One-Counter Nets
by: Prakash, Keya, et al.
Published: (2022)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
by: Yalcinkaya, Beyazit, et al.
Published: (2025)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
by: Nogami, Taisei, et al.
Published: (2024)

Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods
by: Balakrishnan, Anand, et al.
Published: (2024)

Infinite-state Games with Energy Objectives Beyond Counters
by: Sağlam, Irmak, et al.
Published: (2026)

On the Expressive Power of Regular Expressions with Backreferences
by: Nogami, Taisei, et al.
Published: (2023)

Regular Languages in the Sliding Window Model
by: Ganardi, Moses, et al.
Published: (2024)

Weighted Automata and Regular Expressions for Financial Systems
by: Droste, Manfred, et al.
Published: (2026)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
by: Almagor, Shaull, et al.
Published: (2026)

Unambiguisability and Register Minimisation of Min-Plus Models
by: Almagor, Shaull, et al.
Published: (2025)

Shuffles of Context-Free Languages along Regular Trajectories
by: Barloy, Corentin, et al.
Published: (2026)

Regular Grammars for Sets of Graphs of Tree-Width 2
by: Bozga, Marius, et al.
Published: (2024)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
by: Zetzsche, Stefan, et al.
Published: (2024)

A Regular and Complete Notion of Delay for Streaming String Transducers
by: Filiot, Emmanuel, et al.
Published: (2022)

On the Complexity of Computing the Co-lexicographic Width of a Regular Language
by: Becker, Ruben, et al.
Published: (2024)

RNN Generalization to Omega-Regular Languages
by: Pert, Charles, et al.
Published: (2025)

Mixed Choice in Asynchronous Multiparty Session Types
by: Bocchi, Laura, et al.
Published: (2026)

Overview of Controllability Definitions in Supervisory Control Theory
by: Keiren, Jeroen J. A., et al.
Published: (2025)