Find Research Outputs

Clear all

Publication Year

2020
2019
2018
2017
2016
2015
2014
2012
2011

Author

Alexander Matteo Palmisano

1 results
Export search results

2020
It's Time to Play Safe: Shield Synthesis for Timed Systems
Bloem, R., Jensen, P. G., Könighofer, B., Larsen, K. G., Lorber, F. & Palmisano, A. M., 30 Jun 2020, In : arXiv.org e-Print archive. 19 p.
Research output: Contribution to journal › Article