Sublogics of a Branching Time Logic of Robustness

First Author: McCabe-Dansted JC
Attributed to:  Trustworthy Robotic Assistants funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Parent Publication: Information and Computation