Kaki: concurrent update synthesis for regular policies via Petri games (Q2165522): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Automatic synthesis of transiently correct network updates via Petri games / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Scheduling Loop-free Network Updates / rank | |||
Normal rank | |||
Latest revision as of 21:54, 29 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kaki: concurrent update synthesis for regular policies via Petri games |
scientific article |
Statements
Kaki: concurrent update synthesis for regular policies via Petri games (English)
0 references
19 August 2022
0 references
