Degbomont, J.-F. (2013). Implicit Real Vector Automata [Doctoral thesis, ULiège - Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/156331 |
Boigelot, B., Brusten, J., & Degbomont, J.-F. (March 2012). Automata-Based Symbolic Representations of Polyhedra. Lecture Notes in Computer Science, 7183, 3-20. doi:10.1007/978-3-642-28332-1_2 |
Boigelot, B., Brusten, J., & Degbomont, J.-F. (2010). Implicit Real Vector Automata. Electronic Proceedings in Theoretical Computer Science, 39, 63-76. doi:10.4204/EPTCS.39.5 Peer Reviewed verified by ORBi |
Boigelot, B., & Degbomont, J.-F. (2009). Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. Lecture Notes in Computer Science, 5457, 200-211. doi:10.1007/978-3-642-00982-2_17 Peer reviewed |