University of LiègeULgFaculty of EngineeringFacSALibrary News   
Isabelle Mainz - Publications ORBI
Boigelot, B., Mainz, I., Marsault, V., & Rigo, M. (2017). An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention. Leibniz International Proceedings in Informatics, 80.
Peer reviewed
Given an integer base b>1, a set of integers is represented in base b by a language over {0,1,...,b-1}. The set is said to be b-recognisable if its representation is a regular language. It is known that ...
Boigelot, B., Herbreteau, F., & Mainz, I. (2014). Acceleration of Affine Hybrid Transformations. Lecture Notes in Computer Science, 8837, 31-46.
Peer reviewed
This work addresses the computation of the set of reachable configurations of linear hybrid automata. The approach relies on symbolic state-space exploration, using acceleration in order to speed up the ...