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

DOI10.1007/978-3-319-32582-8_9MaRDI QIDQ2814624zbMATH OpenOpenAlexFDO

Authors Peter Gjøl Jensen, Kim G. Larsen, Jiří Srba

Publication date 22 June 2016

Published in Model Checking Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-32582-8_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1361123
• scientific article; zbMATH DE number 4113945
• Stochastic Real-Time Games with Qualitative Timed Automata Objectives
• Bounded synthesis for Petri games
• scientific article; zbMATH DE number 2088660
• Synthesis of bounded integer parameters for parametric timed reachability games
• scientific article; zbMATH DE number 1696456
• Tools and Algorithms for the Construction and Analysis of Systems
• Canonical representations for direct generation of strategies in high-level Petri games

Cited in

(10)

• TAPAAL
• Automatic synthesis of transiently correct network updates via Petri games
• Kaki: concurrent update synthesis for regular policies via Petri games
• Verification and performance evaluation of timed game strategies
• Stubborn set reduction for two-player reachability games
• Partial order reduction for reachability games
• Security-aware synthesis using delayed-action games
• Kaki: efficient concurrent update synthesis for SDN
• On-the-fly verification: advancements in dependency graphs (invited talk)
• Stubborn set reduction for timed reachability and safety games

Describes a project that uses

Uses Software

• Uppaal
• Romeo
• LOTOS
• UPPAAL TIGA
• Synthia
• TINA

This page was built for publication: Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814624)