60561

Computer Aided Verification 32nd International Conference, CAV 2020 Los Angeles, CA, USA, July 21–24, 2020 Proceedings, Part II

Switzerland Springer

2020

697

9783030532918

انگليسي

Semi-determinization , Autonomous Aircraft , Hyperproperties