Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot. A Topological Method for Finding Invariant Sets of Continuous Systems. In Mikolaj Bojanczyk, Slawomir Lasota, Igor Potapov, editors, Reachability Problems - 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings. Volume 9328 of Lecture Notes in Computer Science, pages 63-75, Springer, 2015. [doi]
Abstract is missing.