Cover Image

Overview and Roadmap of Team Automata

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	ter Beek, Maurice H., Hennicker, Rolf, Proença, José
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
by: ter Beek, Maurice H., et al.
Published: (2026)

Safe Composition of Systems of Communicating Finite State Machines
by: Barbanera, Franco, et al.
Published: (2024)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
by: Päßler, Juliane, et al.
Published: (2023)

Step Automata
by: Wang, Yong
Published: (2026)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
by: André, Étienne, et al.
Published: (2023)

Automata for Enriched Trees and Applications
by: Blumensath, Achim
Published: (2025)

Runtime Verification of Interactions Using Automata
by: Weil-Kennedy, Chana, et al.
Published: (2025)

Petri Nets and Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
by: Mertens, Hannah, et al.
Published: (2026)

Analyzing Many Simulations of Hybrid Programs in Lince
by: Arrieta, Reydel, et al.
Published: (2025)

An Adequate While-Language for Stochastic Hybrid Computation
by: Neves, Renato, et al.
Published: (2025)

An Expressive Coalgebraic Modal Logic for Cellular Automata
by: Basold, Henning, et al.
Published: (2025)

Small Test Suites for Active Automata Learning
by: Kruger, Loes, et al.
Published: (2024)

Automata Linear Dynamic Logic on Finite Traces
by: Smith, Kevin W., et al.
Published: (2021)

Sound Conflict Analysis for Timed Contract Automata
by: Azzopardi, Shaun, et al.
Published: (2024)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
by: Pontiggia, Francesco, et al.
Published: (2025)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
by: Benerecetti, Massimo, et al.
Published: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
by: Mertens, Hannah, et al.
Published: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Bacci, Giorgio, et al.
Published: (2025)

Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
by: Piórkowski, Radosław
Published: (2026)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
by: Faella, Marco, et al.
Published: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
by: Geatti, Luca, et al.
Published: (2024)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
by: Habermehl, Peter, et al.
Published: (2024)

Synchronous Team Semantics for Temporal Logics
by: Krebs, Andreas, et al.
Published: (2024)

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
by: Demri, Stephane, et al.
Published: (2023)

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
by: Affeldt, Reynald, et al.
Published: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
by: Kapytka, Maryia
Published: (2026)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
by: Kontinen, Juha, et al.
Published: (2024)

Temporal Team Semantics Revisited
by: Gutsfeld, Jens Oliver, et al.
Published: (2021)

On Randomized Computational Models and Complexity Classes: a Historical Overview
by: Antonelli, Melissa, et al.
Published: (2024)

Error-awareness Accelerates Active Automata Learning
by: Kruger, Loes, et al.
Published: (2026)

Rerailing Automata
by: Ehlers, Rüdiger
Published: (2025)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
by: De Mol, Liesbeth, et al.
Published: (2025)

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
by: Díaz-Caro, Alejandro
Published: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
by: Demri, Stéphane, et al.
Published: (2026)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Automata on $S$-adic words
by: Berthé, Valérie, et al.
Published: (2025)

Intersecting Dense Automata
by: Chistikov, Dmitry, et al.
Published: (2026)

On Good-for-MDPs Automata
by: Schewe, Sven, et al.
Published: (2022)