Synthesis of Universal Safety Controllers.

Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck

Browse the full TACAS paper archive.