You May Delay, but Time Will Not: Timed Games Under Delayed Control

Lecture notes in computer science 2026 Open access

Read full text

Authors: Kim G. Larsen, Martín Zimmermann

DOI: 10.1007/978-3-032-16855-9_2

Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Petri Nets in System Modeling Security and Verification in Computing