🏛️ The Formal Languages Crypt

🔮 🔮 The Ethereal

Causality Analysis for Concurrent Reactive Systems (Extended Abstract)

Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu

cs.FL 🏛 CREST 📚 5 cites 7 years ago

🔮 🔮 The Ethereal

Regular Expressions with Backreferences: Polynomial-Time Matching Techniques

Markus L. Schmid

cs.FL 🏛 J. Autom. Lang. Comb. 📚 5 cites 7 years ago

🔮 🔮 The Ethereal

Symmetry Breaking Predicates for SAT-based DFA Identification

Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto

cs.FL 🏛 arXiv 📚 5 cites 10 years ago

🔮 🔮 The Ethereal

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

Baptiste Pelletier, Charles Lesire, ... (+3 more)

cs.FL 🏛 FMAS/ASYDE@SEFM 📚 5 cites 3 years ago

🔮 🔮 The Ethereal

Subsequence Matching and Analysis Problems for Formal Languages

Szilárd Zsolt Fazekas, Tore Koß, ... (+3 more)

cs.FL 🏛 ISAAC 📚 4 cites 1 year ago

🔮 🔮 The Ethereal

Symbolic Automata: $ω$-Regularity Modulo Theories

Margus Veanes, Thomas Ball, ... (+2 more)

cs.FL 🏛 arXiv 📚 4 cites 2 years ago

🔮 🔮 The Ethereal

A Fast Algorithm for Computing Prefix Probabilities

Franz Nowak, Ryan Cotterell

cs.FL 🏛 ACL 📚 4 cites 2 years ago

🔮 🔮 The Ethereal

FSM Error Messages

Marco T. Morazán, Josephine A. Des Rosiers

cs.FL 🏛 TFPIE@TFP 📚 4 cites 6 years ago

🔮 🔮 The Ethereal

Towards a classification of Lindenmayer systems

Diego Krivochen, Douglas Saddy

cs.FL 🏛 arXiv 📚 4 cites 7 years ago

🔮 🔮 The Ethereal

Grammatical Inference as a Satisfiability Modulo Theories Problem

Rick Smetsers

cs.FL 🏛 arXiv 📚 4 cites 8 years ago

🔮 🔮 The Ethereal

Weighted Pushdown Systems with Indexed Weight Domains

Yasuhiko Minamide

cs.FL 🏛 ICTACAS 📚 4 cites 10 years ago

🔮 🔮 The Ethereal

Verifying And Interpreting Neural Networks using Finite Automata

Marco Sälzer, Eric Alsmann, ... (+2 more)

cs.FL 🏛 ICDLT 📚 4 cites 3 years ago

🔮 🔮 The Ethereal

Computable Bounds and Monte Carlo Estimates of the Expected Edit Distance

Gianfranco Bilardi, Michele Schimd

cs.FL 🏛 arXiv 📚 4 cites 3 years ago

🔮 🔮 The Ethereal

Computing Inductive Invariants of Regular Abstraction Frameworks

Philipp Czerner, Javier Esparza, ... (+2 more)

cs.FL 🏛 CONCUR 📚 3 cites 2 years ago

🔮 🔮 The Ethereal

Finite-State Automaton To/From Regular Expression Visualization

Marco T. Morazán, Tijana Minić

cs.FL 🏛 TFPIE 📚 3 cites 1 year ago

🔮 🔮 The Ethereal

Reachability in Continuous Pushdown VASS

A. R. Balasubramanian, Rupak Majumdar, ... (+2 more)

cs.FL 🏛 PACMPL 📚 3 cites 2 years ago

🔮 🔮 The Ethereal

On the Complexity of Symbolic Finite-State Automata

Dana Fisman, Hadar Frenkel, Sandra Zilles

cs.FL 🏛 arXiv 📚 3 cites 5 years ago

🔮 🔮 The Ethereal

A Classification of Weak Asynchronous Models of Distributed Computing

Javier Esparza, Fabian Reiter

cs.FL 🏛 CONCUR 📚 3 cites 5 years ago

🔮 🔮 The Ethereal

LL(1) Parsing with Derivatives and Zippers

Romain Edelmann, Jad Hamza, Viktor Kunčak

cs.FL 🏛 arXiv 📚 3 cites 6 years ago

🔮 🔮 The Ethereal

Synthesis of Reduced Asymmetric Choice Petri Nets

Harro Wimmel

cs.FL 🏛 arXiv 📚 3 cites 6 years ago

🔮 🔮 The Ethereal

Towards a Coq-verified Chain of Esterel Semantics

Gérard Berry, Lionel Rieg

cs.FL 🏛 arXiv 📚 3 cites 6 years ago

🔮 🔮 The Ethereal

The problem with probabilistic DAG automata for semantic graphs

Ieva Vasiljeva, Sorcha Gilroy, Adam Lopez

cs.FL 🏛 NAACL 📚 3 cites 7 years ago

🔮 🔮 The Ethereal

DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)

Rocco De Nicola, Alessandro Maggi, Joseph Sifakis

cs.FL 🏛 arXiv 📚 3 cites 7 years ago

🔮 🔮 The Ethereal

Decidability of Timed Communicating Automata

Lorenzo Clemente

cs.FL 🏛 arXiv 📚 3 cites 8 years ago