Cite
MLA Citation
Shaurya Shriyam and Satyandra K Gupta. “Modeling and verification of contingency resolution strategies for multi-robot missions using temporal logic.” International journal of advanced robotic systems, vol. 16, n.d., p. . http://access.bl.uk/ark:/81055/vdc_100097359615.0x000024