Automatic strategy synthesis for a given control objective can be used to generate correct-by-construction controllers of reactive systems.
Abstract. Automatic strategy synthesis for a given control objective can be used to generate correct-by-construction controllers of reactive systems.
Automatic strategy synthesis for a given control objective can be used to generate correct-by-construction controllers of reactive systems.
Dive into the research topics of 'Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization'. Together they form a unique fingerprint. Sort ...
Get details about the chapter of Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization from book Model Checking Software: 23rd ...
Real-time strategy synthesis for timed-arc Petri net games via discretization. PG Jensen, KG Larsen, J Srba. Model Checking Software: 23rd International ...
Discrete and continuous strategies for timed-Arc Petri net games. Int. J ... Real-time strategy synthesis for timed-Arc Petri net games via discretization.
Sep 25, 2017 · We then develop an on-the-fly synthesis algorithm for discrete timed-arc Petri net games. The algorithm is implemented in our tool TAPAAL, and ...
Missing: Discretization. | Show results with:Discretization.
2017. Real-time strategy synthesis for timed-arc Petri net games via discretization. PG Jensen, KG Larsen, J Srba. Model Checking Software: 23rd International ...
Share Chapter: Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization · Features · Plugins · Browser Tools · Resources.