Automata

Recent momentum

-67%

2 papers in the last 28 days · 0.0% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-21

1 new paper

A weekly snapshot of new work published in Automata.

Period ending 2026-09-14

1 new paper

A weekly snapshot of new work published in Automata.

Period ending 2026-09-07

1 new paper

A weekly snapshot of new work published in Automata.

40 papers

Latest in Automata

  1. Infinite Trace Objectives with Finite Trace Techniques: Translating LTL to LTLf+

    Aug 3, 2026Christoph Weinhuber, Maximilian Prokop, Giuseppe De Giacomo +1Linear Temporal LogicsAutomata

  2. Language Identification with Succinct Machine-Independent Traces

    Jul 14, 2026Moses Charikar, Jon Kleinberg, Chirag PabbarajuAutomata

  3. Runtime Enforcement of Hybrid System Properties

    Jun 10, 2026Mir Md Sajid Sarwar, Srinivas Pinisetty, Rajarshi Ray +1Runtime EnforcementCyber-Physical System

  4. Formalization of Malagasy conjugation

    May 26, 2026Joro Ny Aina Ranaivoarison, Eric Laporte, Baholisoa Simone RalalaoherivonyMorphologyPronoun

  5. Flash PD-SSM: Memory-Optimized Structured Sparse State-Space Models

    May 18, 2026Aleksandar Terzić, Francesco Carzaniga, Nicolas Menet +4State Space ModelsFlash

  6. SMT-Based Active Learning of Weighted Automata

    May 8, 2026Tiago Ferreira, Kevin Batz, Alexandra SilvaAutomataActive Learning

  7. SemML 2.0: Synthesizing Controllers for LTL

    Apr 27, 2026Jan Křetínský, Tobias Meggendorfer, Maximilian ProkopLinear Temporal LogicsConstraint-Aware Synthesis

  8. Symbolic Synthesis for LTLf+ Obligations

    Apr 20, 2026Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann +1Linear Temporal LogicsConstraint-Aware Synthesis

  9. Learning State-Tracking from Code Using Linear RNNs

    Feb 16, 2026Julien Siems, Riccardo Grazzi, Korbinian Pöppel +3Sequence ModelingAutomata

  10. Reinforcement Learning with Temporal-Logic-Based Causal Diagrams

    Jun 23, 2023Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione +5Causal GraphAutomata