The Automata and applications (A∀) group at LRE concerns itself with automata in various forms and with their applications. The group maintains and develops the Spot library for manipulation of ω-automata and other software. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving.
Fields of interest
The A∀ group consists of approximately 13 permanent and several non-permanent staff. Some of our research interests, in roughly lexicographic order:
- automata learning
- concurrency theory
- constraint programming
- cyber-physical systems
- games
- language transformations
- Lisp
- LTL & PSL
- model checking
- ω-automata
- parallelism
- Petri nets
- pushdown automata
- quantitative verification
- reactive synthesis
- symbolic automata
- timed automata
- typesetting
Software
The Automata and applications group hosts the following software projects:
- Spot: a platform for LTL and ω-automata manipulation
- Painless: a framework for implementation and evaluation of parallel SAT solvers
- cosy: a library to exploit symmetries of SAT problems
Members
The group is split over three sites, Paris, Rennes, and Toulouse.
Paris
Rennes
- Hugo Bazille
- Uli Fahrenberg (Head of research group)
Strasbourg
Non-permanent members
Former members
- Philipp Schlehuber-Caissier
- Souheib Baarir
- Nicolas Nalpon
- Étienne Renault
- Sven Dziadek
- Anissa Kheireddine
- Antoine Martin
- Florian Renkin