Loris D'Antoni
Learning Symbolic Physics with Graph Networks - astro automata
Symbolic Register Automata | SpringerLink
Symbolic Automata = Automata + SMT solvers at ExCape14
Symbolic Encoding of Neural Networks using Communicating Automata with Applications to Verification of Neural Network Based Controllers* Li Su, Howard. - ppt download
LEARNING REGULAR LANGUAGES OVER LARGE ORDERED ALPHABETS Introduction The main contribution of this paper is a generic algorithm
PDF) FAdo: Interactive Tools for Learning Formal Computational Models | Rogerio Reis - Academia.edu
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages | DeepAI
Example automaton with k = 4 and s = aabb. The arcs are labelled with... | Download Scientific Diagram
The Power of Symbolic Automata and Transducers" Loris D'Antoni | CAV 2017 - YouTube
![PDF] Learning Regular Languages via Alternating Automata | Semantic Scholar](https://d3i71xaburhd42.cloudfront.net/8f8cd9f5791d2fa2eb53993c3f51e996964a9b9e/3-Figure2-1.png "PDF] Learning Regular Languages via Alternating Automata | Semantic Scholar")
PDF] Learning Regular Languages via Alternating Automata | Semantic Scholar
Learning Automata over Large Alphabets as an Alternative to Recurrent Neural Networks
Automata theory - Wikipedia
Symbolic Automata = Automata + SMT solvers at ExCape14
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference | SpringerLink
PDF) Improving Symbolic Automata Learning with Concolic Execution
Machine learning meets programs synthesis
Extended symbolic finite automata and transducers | springerprofessional.de
Automata Learning for Symbolic Execution
ICGI2018 Extended Abstract: Query Learning of Residual Symbolic Automata
The use and abuse of machine learning in astronomy - astro automata
Automata Modulo Theories | May 2021 | Communications of the ACM
