Buchumschlag

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yalcinkaya, Beyazit, Vazquez-Chanlatte, Marcell, Shah, Ameesh, Krasowski, Hanna, Seshia, Sanjit A.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Multiagent Systems Artificial Intelligence Computation and Language Formal Languages and Automata Theory Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
von: Yalcinkaya, Beyazit, et al.
Veröffentlicht: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
von: Yalcinkaya, Beyazit, et al.
Veröffentlicht: (2024)

Learning Formal Specifications from Membership and Preference Queries
von: Shah, Ameesh, et al.
Veröffentlicht: (2023)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
von: Vazquez-Chanlatte, Marcell, et al.
Veröffentlicht: (2024)

Decoupled Planning for Multiple Omega-Regular Objectives
von: Avni, Guy, et al.
Veröffentlicht: (2026)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2025)

Modelling and Analysis of Supply Chains using Product Time Petri Nets
von: Lubat, Eric, et al.
Veröffentlicht: (2026)

Controller synthesis method for multi-agent system based on temporal logic specification
von: Huang, Ruohan, et al.
Veröffentlicht: (2025)

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

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

Module checking of pushdown multi-agent systems
von: Bozzelli, Laura, et al.
Veröffentlicht: (2020)

The SCAN Statistical Model Checker
von: Ghiorzi, Enrico, et al.
Veröffentlicht: (2026)

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)

Determinism in Multi-Soliton Automata
von: Bordihn, Henning, et al.
Veröffentlicht: (2024)

Mean-payoff and Energy Discrete Bidding Games
von: Avni, Guy, et al.
Veröffentlicht: (2025)

Equilibria in Multiplayer Graph Games: An Algorithmic Study
von: Brice, Léonard
Veröffentlicht: (2026)

Randomise Alone, Reach as a Team
von: Brice, Léonard, et al.
Veröffentlicht: (2026)

New Insights into the Decidability of Opacity in Timed Automata
von: Deng, Weilin, et al.
Veröffentlicht: (2025)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, et al.
Veröffentlicht: (2025)

Query Learning of Advice and Nominal Automata
von: Zhou, Kevin
Veröffentlicht: (2024)

Active Learning of Symbolic Mealy Automata
von: Irie, Kengo, et al.
Veröffentlicht: (2025)

Inference of Deterministic Finite Automata via Q-Learning
von: Hosseinkhani, Elaheh, et al.
Veröffentlicht: (2025)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
von: Carrasco, Matías, et al.
Veröffentlicht: (2024)

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
von: Delicaris, Joanna, et al.
Veröffentlicht: (2026)

Constrained Multi-Tildes: Derived Term and Position Automata
von: Attou, Samira, et al.
Veröffentlicht: (2024)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
von: Koohestani, Roham, et al.
Veröffentlicht: (2025)

LTL-Constrained Policy Optimization with Cycle Experience Replay
von: Shah, Ameesh, et al.
Veröffentlicht: (2024)

Scalable Tree-based Register Automata Learning
von: Dierl, Simon, et al.
Veröffentlicht: (2024)

Efficient Learning of Weak Deterministic Büchi Automata
von: Alluwayma, Mona, et al.
Veröffentlicht: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)

Greybox Learning of Languages Recognizable by Event-Recording Automata
von: Majumdar, Anirban, et al.
Veröffentlicht: (2024)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
von: Stan, Daniel, et al.
Veröffentlicht: (2026)

On Shuffling and Splitting Automata
von: Cunningham, Ignacio Mollo
Veröffentlicht: (2024)

Explorable Parity Automata
von: Hazard, Emile, et al.
Veröffentlicht: (2024)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
von: Slimi, Jaouhar, et al.
Veröffentlicht: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
von: Aristote, Quentin, et al.
Veröffentlicht: (2025)