Login / Signup

Kripke modelling and verification of temporal specifications of a multiple UAV system.

Gopinadh SirigineediAntonios TsourdosBrian A. WhiteRafal Zbikowski
Published in: Ann. Math. Artif. Intell. (2011)
Keyphrases