Coverability and Expressiveness Properties of Well-Structured ...

engines let it leave its trajectory, and the resulting aerodynamic forces .... Nevertheless, model-checking is not the silver bullet that can solve all the


free request journal