🏛️ The Formal Languages Crypt

🔮 🔮 The Ethereal

Formal Specification and Verification of Autonomous Robotic Systems: A Survey

Matt Luckcuck, Marie Farrell, ... (+3 more)

cs.FL 🏛 ACM CSUR 📚 171 cites 7 years ago

🔮 🔮 The Ethereal

Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations

Rong Su

cs.FL 🏛 at - Automatisierungstechnik 📚 151 cites 9 years ago

🔮 🔮 The Ethereal

An Abstraction-Based Framework for Neural Network Verification

Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz

cs.FL 🏛 CAV 📚 135 cites 6 years ago

🔮 🔮 The Ethereal

Recurrent Neural Networks as Weighted Language Recognizers

Yining Chen, Sorcha Gilroy, ... (+3 more)

cs.FL 🏛 NAACL 📚 78 cites 8 years ago

🔮 🔮 The Ethereal

TeSSLa: Temporal Stream-based Specification Language

Lukas Convent, Sebastian Hungerecker, ... (+4 more)

cs.FL 🏛 FM 📚 66 cites 7 years ago

🔮 🔮 The Ethereal

Learning Moore Machines from Input-Output Traces

Georgios Giantamidis, Stavros Tripakis

cs.FL 🏛 International Journal on Software Tools for Technology Transfer (STTT) 📚 50 cites 9 years ago

🔮 🔮 The Ethereal

Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction

Mingyu Cai, Shaoping Xiao, ... (+3 more)

cs.FL 🏛 ICRA 📚 45 cites 5 years ago

🔮 🔮 The Ethereal

Bounded Model Checking for Hyperproperties

Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour

cs.FL 🏛 ICTACAS 📚 39 cites 5 years ago

🔮 🔮 The Ethereal

Deterministic Regular Expressions With Back-References

Dominik D. Freydenberger, Markus L. Schmid

cs.FL 🏛 STACS 📚 37 cites 8 years ago

🔮 🔮 The Ethereal

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

Daniel Neider, Ufuk Topcu

cs.FL 🏛 ICTACAS 📚 36 cites 10 years ago

🔮 🔮 The Ethereal

Montre: A Tool for Monitoring Timed Regular Expressions

Dogan Ulus

cs.FL 🏛 CAV 📚 36 cites 9 years ago

🔮 🔮 The Ethereal

A Trichotomy for Regular Trail Queries

Wim Martens, Matthias Niewerth, Tina Popp

cs.FL 🏛 STACS 📚 32 cites 7 years ago

🔮 🔮 The Ethereal

Co-lexicographically Ordering Automata and Regular Languages -- Part I

Nicola Cotumaccio, Giovanna D'Agostino, ... (+2 more)

cs.FL 🏛 J.A 📚 32 cites 3 years ago

🔮 🔮 The Ethereal

Efficiently Testing Simon's Congruence

Pawel Gawrychowski, Maria Kosche, ... (+3 more)

cs.FL 🏛 STACS 📚 27 cites 5 years ago

🔮 🔮 The Ethereal

Learning Concise Models from Long Execution Traces

Natasha Yogananda Jeppu, Tom Melham, ... (+2 more)

cs.FL 🏛 DAC 📚 26 cites 6 years ago

🔮 🔮 The Ethereal

Automata Learning: An Algebraic Approach

Henning Urbat, Lutz Schröder

cs.FL 🏛 Logic in Computer Science 📚 26 cites 6 years ago

🔮 🔮 The Ethereal

Runtime enforcement of reactive systems using synchronous enforcers

Srinivas Pinisetty, Partha S Roop, ... (+3 more)

cs.FL 🏛 SPIN 📚 26 cites 9 years ago

🔮 🔮 The Ethereal

Conformance Checking of Mixed-paradigm Process Models

Boudewijn van Dongen, Johannes De Smedt, ... (+2 more)

cs.FL 🏛 Information Systems 📚 24 cites 5 years ago

🔮 🔮 The Ethereal

Parameterized Verification of Systems with Global Synchronization and Guards

Nouraldin Jaber, Swen Jacobs, ... (+3 more)

cs.FL 🏛 CAV 📚 24 cites 5 years ago

🔮 🔮 The Ethereal

Inverse Lyndon words and Inverse Lyndon factorizations of words

Paola Bonizzoni, Clelia De Felice, ... (+2 more)

cs.FL 🏛 Advances in Applied Mathematics 📚 24 cites 8 years ago

🔮 🔮 The Ethereal

A Load-Buffer Semantics for Total Store Ordering

Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+2 more)

cs.FL 🏛 Log. Methods Comput. Sci. 📚 24 cites 9 years ago

🔮 🔮 The Ethereal

Average-based Robustness for Continuous-Time Signal Temporal Logic

Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta

cs.FL 🏛 CDC 📚 22 cites 6 years ago

🔮 🔮 The Ethereal

Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report)

Milan Ceska, Vojtech Havlena, ... (+3 more)

cs.FL 🏛 International Journal on Software Tools for Technology Transfer (STTT) 📚 21 cites 8 years ago

🔮 🔮 The Ethereal

Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata

Milan Češka, Vojtěch Havlena, ... (+7 more)

cs.FL 🏛 ICFCCM 📚 20 cites 6 years ago