Robust Computation Tree Logic.

Satya Prakash Nayak Daniel Neider Rajarshi Roy Martin Zimmermann

Published in: CoRR (2022)

Keyphrases

computation tree logic
model checking
temporal logic
incomplete information