Timed games and deterministic separability

DOI10.4230/LIPICS.ICALP.2020.121MaRDI QIDQ6842449zbMATH OpenFDO

Authors Lorenzo Clemente, Sławomir Lasota, Radosław Piórkowski

Publication date 18 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

zbMATH Keywords

timed automatatimed gamesseparability problems

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Timed games and deterministic separability

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