Publisher
Springer International Publishing
Reference14 articles.
1. Lecture Notes in Computer Science;P Ashok,2019
2. pp;J-L Béchennec,2019
3. Béchennec, J.-L., Lime, D., Roux, O.H.: Logical time control of concurrent DES. Discrete Event Dynamic Systems 1–33 (2021). https://doi.org/10.1007/s10626-020-00333-x
4. Lecture Notes in Computer Science;G Behrmann,2007
5. Chatterjee, K., de Alfaro, L., Henzinger., T.A. Strategy improvement for concurrent reachability and safety games. CoRR http://arxiv.org/abs/1201.2834 (2012)