Stubborn Set Reduction for Timed Reachability and Safety Games

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings
EditorsCatalin Dima, Mahsa Shirmohammadi
Number of pages18
Volume12860
PublisherSpringer
Publication date2021
Pages32-49
ISBN (Print)9783030850364
DOIs
Publication statusPublished - 2021
Event19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021 - Virtual, Online
Duration: 24 Aug 202126 Aug 2021

Conference

Conference19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021
CityVirtual, Online
Period24/08/202126/08/2021
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12860 LNCS
ISSN0302-9743

Bibliographical note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Fingerprint

Dive into the research topics of 'Stubborn Set Reduction for Timed Reachability and Safety Games'. Together they form a unique fingerprint.

Cite this