[PPT] - Handling Real Arithmetic with Infinite Word Automata Bernard PowerPoint Presentation