Synthesizing Certificates in Networks of Timed Automata.

Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe

Browse the full RTSS paper archive.