Synthesising succinct strategies in safety games with an application to real-time scheduling

From MaRDI portal
Publication:2636511

DOI10.1016/j.tcs.2017.06.004zbMath1393.68038OpenAlexW2252994708MaRDI QIDQ2636511

Thi-Van-Anh Nguyen, Joël Goossens, Amélie Stainer, Gilles Geeraerts

Publication date: 5 June 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2017.06.004




Related Items (1)



Cites Work




This page was built for publication: Synthesising succinct strategies in safety games with an application to real-time scheduling