--
Manon Blanc
(LISN, Galac)
summary: Reasoning about dynamical systems evolving over the reals is well-known
to lead to undecidability. In particular, it is known there cannot be decision
procedures for first-order theories over the reals, or decision procedures for state reachability.
However, various results in the literature have shown that decision procedures exist
when ...
