Stubborn Set Reduction for Timed Reachability and Safety Games

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

OriginalsprogEngelsk
TitelFormal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings
RedaktørerCatalin Dima, Mahsa Shirmohammadi
Antal sider18
Vol/bind12860
ForlagSpringer
Publikationsdato2021
Sider32-49
ISBN (Trykt)9783030850364
DOI
StatusUdgivet - 2021
Begivenhed19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021 - Virtual, Online
Varighed: 24 aug. 202126 aug. 2021

Konference

Konference19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021
ByVirtual, Online
Periode24/08/202126/08/2021
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind12860 LNCS
ISSN0302-9743

Bibliografisk note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Fingeraftryk

Dyk ned i forskningsemnerne om 'Stubborn Set Reduction for Timed Reachability and Safety Games'. Sammen danner de et unikt fingeraftryk.

Citationsformater