🏛️ The Formal Languages Crypt

🔮 🔮 The Ethereal

Automata Cascades: Expressivity and Sample Complexity

Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo

cs.FL 🏛 AAAI 📚 2 cites 3 years ago

🔮 🔮 The Ethereal

Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic

Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh

cs.FL 🏛 arXiv 📚 2 cites 3 years ago

🔮 🔮 The Ethereal

Scalable Learning of One-Counter Automata via State-Merging Algorithms

Shibashis Guha, Anirban Majumdar, ... (+2 more)

cs.FL 🏛 TCS 📚 1 cites 7 months ago

🔮 🔮 The Ethereal

A Myhill-Nerode Type Characterization of 2detLIN Languages

Benedek Nagy

cs.FL 🏛 ICNMAA W 📚 1 cites 9 months ago

🔮 🔮 The Ethereal

Efficient Matching of Some Fundamental Regular Expressions with Backreferences

Taisei Nogami, Tachio Terauchi

cs.FL 🏛 MFCS 📚 1 cites 12 months ago

🔮 🔮 The Ethereal

The Black Ninjas and the Sniper: On Robustness of Population Protocols

Benno Lossin, Philipp Czerner, ... (+3 more)

cs.FL 🏛 arXiv 📚 1 cites 1 year ago

🔮 🔮 The Ethereal

Synchronisability in Mailbox Communication

Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters

cs.FL 🏛 Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics 📚 1 cites 1 year ago

🔮 🔮 The Ethereal

Detecting and explaining (in)equivalence of context-free grammars

Marko Schmellenkamp, Thomas Zeume, ... (+4 more)

cs.FL 🏛 PACMPL 📚 1 cites 1 year ago

🔮 🔮 The Ethereal

Weighted Automata for Exact Inference in Discrete Probabilistic Programs

Dominik Geißler, Tobias Winkler

cs.FL 🏛 International Colloquium on Theoretical Aspects of Computing 📚 1 cites 7 months ago

🔮 🔮 The Ethereal

Checking Presence Reachability Properties on Parameterized Shared-Memory Systems

Nicolas Waldburger

cs.FL 🏛 MFCS 📚 1 cites 2 years ago

🔮 🔮 The Ethereal

Contextual Behavioural Metrics (Extended Version)

Ugo Dal Lago, Maurizio Murgia

cs.FL 🏛 arXiv 📚 1 cites 2 years ago

🔮 🔮 The Ethereal

Binary intersection formalized

Štěpán Holub, Štěpán Starosta

cs.FL 🏛 TCS 📚 1 cites 5 years ago

🔮 🔮 The Ethereal

Glushkov's construction for functional subsequential transducers

Aleksander Mendoza-Drosik

cs.FL 🏛 arXiv 📚 1 cites 5 years ago

🔮 🔮 The Ethereal

Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling

Yong Li, Andrea Turrini, ... (+2 more)

cs.FL 🏛 ATVA 📚 1 cites 5 years ago

🔮 🔮 The Ethereal

Incremental methods for checking real-time consistency

Thierry Jéron, Nicolas Markey, ... (+3 more)

cs.FL 🏛 ICFMATS 📚 1 cites 5 years ago

🔮 🔮 The Ethereal

Four-valued monitorability of $ω$-regular languages

Zhe Chen, Yunyun Chen, ... (+2 more)

cs.FL 🏛 arXiv 📚 1 cites 6 years ago

🔮 🔮 The Ethereal

Streaming Transformations of Infinite Ordered-Data Words

Xiaokang Qiu

cs.FL 🏛 arXiv 📚 1 cites 6 years ago

🔮 🔮 The Ethereal

Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints

Nicolas Beldiceanu, Mats Carlsson, ... (+2 more)

cs.FL 🏛 arXiv 📚 1 cites 6 years ago

🔮 🔮 The Ethereal

Explaining SDN Failures via Axiomatisations

Georgiana Caltais

cs.FL 🏛 FROM 📚 1 cites 6 years ago

🔮 🔮 The Ethereal

Formal FocusST Specification of CAN

Maria Spichkova

cs.FL 🏛 arXiv 📚 1 cites 7 years ago

🔮 🔮 The Ethereal

Symbolic Automata with Memory: a Computational Model for Complex Event Processing

Elias Alevizos, Alexander Artikis, Georgios Paliouras

cs.FL 🏛 arXiv 📚 1 cites 7 years ago

🔮 🔮 The Ethereal

Neural Network Based Nonlinear Weighted Finite Automata

Tianyu Li, Guillaume Rabusseau, Doina Precup

cs.FL 🏛 arXiv 📚 1 cites 8 years ago

🔮 🔮 The Ethereal

Automata theory on sliding windows

Moses Ganardi, Danny Hucke, ... (+3 more)

cs.FL 🏛 arXiv 📚 1 cites 9 years ago

🔮 🔮 The Ethereal

Efficient Algorithms for Morphisms over Omega-Regular Languages

Lukas Fleischer, Manfred Kufleitner

cs.FL 🏛 TCS 📚 1 cites 10 years ago