"Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: ..."

Mohammed Foughali (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics