Stubborn Set Reduction for Timed Reachability and Safety Games - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba. Stubborn Set Reduction for Timed Reachability and Safety Games. In Catalin Dima, Mahsa Shirmohammadi, editors, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Volume 12860 of Lecture Notes in Computer Science, pages 32-49, Springer, 2021. [doi]

This author has not been identified. Look up 'Frederik M. Bønneland' in GoogleThis author has not been identified. Look up 'Peter Gjøl Jensen' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Marco Muñiz' in GoogleThis author has not been identified. Look up 'Jirí Srba' in Google

runs on WebDSL