Personensuche
X
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
1
Stark: A Software Tool for the Analysis of Robustness in th..:
, In:
?
Informatics in Control, Automation and Robotics; Lecture Notes in Electrical Engineering ,
2
Constrained Reachability Problems for a Planar Manipulator:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
3
How Adaptive and Reliable is Your Program?:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
4
MoonLight: A Lightweight Tool for Monitoring Spatio-Tempora..:
, In:
?
Informatics in Control, Automation and Robotics; Lecture Notes in Electrical Engineering ,
5
Optimal Reachability and Grasping for a Soft Manipulator:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
6