Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers.

Toghrul Karimov

Browse the full ICALP paper archive.