- Computer-aided verification, symbolic state-space exploration, infinite-state systems,
- Symbolic data-structures, automata-based representations of integer and real vectors, mixed integer and real arithmetic,
- Adaptive robotics, real-time path planning.
- List of publications from the ULg repository.
- The Liège Automata-based Symbolic Handler (LASH) is a toolset for representing infinite sets and exploring infinite state spaces. Its beta version can be downloaded from the LASH page.