Adrian Godde, Anne Remke. Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. In Philipp Reinecke, Antinisca Di Marco, editors, Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings. Volume 10497 of Lecture Notes in Computer Science, pages 101-116, Springer, 2017. [doi]
Abstract is missing.