Search for persons
X
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
4
Context-Aware Temporal Logic for Probabilistic Systems:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
6
Security-Aware Synthesis Using Delayed-Action Games:
, In:
?
Proceedings of the 8th International Conference on Cyber-Physical Systems ,
9