Cited By
View all- Kouskoulas YRenshaw DPlatzer AKazanzides PBelta CIvančić F(2013)Certifying the safe design of a virtual fixture control algorithm for a surgical robotProceedings of the 16th international conference on Hybrid systems: computation and control10.1145/2461328.2461369(263-272)Online publication date: 8-Apr-2013
- Loos SRenshaw DPlatzer ABelta CIvančić F(2013)Formal verification of distributed aircraft controllersProceedings of the 16th international conference on Hybrid systems: computation and control10.1145/2461328.2461350(125-130)Online publication date: 8-Apr-2013
- Platzer A(2012)Logics of Dynamical SystemsProceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science10.1109/LICS.2012.13(13-24)Online publication date: 25-Jun-2012