Gopinadh Sirigineedi

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski
Kripke modelling and verification of temporal specifications of a multiple UAV system. Ann. Math. Artif. Intell. 63 (1) (2011)
Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski
Modelling and Verification of Multiple UAV Mission Using SMV FMA (2009)