Frehse, Goran, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, and Andreas Podelski. “Eliminating Spurious Transitions in Reachability with Support Functions.”https://doi.org/10.1145/2728606.2728622__In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 149–58. ACM, 2015.https://doi.org/10.1145/2728606.2728622 .
LibreCat: https://research-explorer.ista.ac.at/record/1692
DOI: 10.1145/2728606.2728622