automata theory

On the Statistical Query Complexity of Learning Semiautomata: a Random Walk Approach COLT 2026 A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025 First-Order Automata AAAI 2025 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025 Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives IJCAI 2025 A* shortest string decoding for non-idempotent semirings EACL 2024 Consistent Bidirectional Language Modelling: Expressive Power and Representational Conciseness EMNLP 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024 Position: Categorical Deep Learning is an Algebraic Theory of All Architectures ICML 2024 Automata Cascades: Expressivity and Sample Complexity AAAI 2023 Synchronization and Diversity of Solutions AAAI 2023 Transformers Learn Shortcuts to Automata ICLR 2023 Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs EMNLP 2022 Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022 Recognizing Reduplicated Forms: Finite-State Buffered Machines ACL 2021 Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021 Sequential Neural Networks as Automata ACL 2019 Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals IJCAI 2019 Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019 Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals IJCAI 2018 Competing with Automata-based Expert Sequences AISTATS 2018 First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018 Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017 Symbolic LTLf Synthesis IJCAI 2017