Personensuche
X
?
Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems ,
3
Symbolic reach-avoid control of multi-agent systems:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
8
Approximate Time Bounded Reachability for CTMCs and CTMDPs:..:
, In:
?
2018 IEEE/IAS 54th Industrial and Commercial Power Systems Technical Conference (I&CPS) ,
9