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

From MaRDI portal
Publication:434449

DOI10.1007/s10472-011-9270-xzbMath1242.68171OpenAlexW2095002986MaRDI QIDQ434449

Gopinadh Sirigineedi, Antonios Tsourdos, Rafał Żbikowski, Brian A. White

Publication date: 10 July 2012

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-011-9270-x





Uses Software


Cites Work




This page was built for publication: Kripke modelling and verification of temporal specifications of a multiple UAV system