Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.

Details

Language :

English

ISBNs :

9783319325811

Database :

Complementary Index

Journal :

Model Checking Software (9783319325811)

Publication Type :

Book

Accession number :

116045660

Full Text :

https://doi.org/10.1007/978-3-319-32582-8_9