Gopinadh Sirigineedi

According to our database, Gopinadh Sirigineedi authored at least 2 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

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

Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski

Ann. Math. Artif. Intell., 2011

2009

Modelling and Verification of Multiple UAV Mission Using SMV

Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009