C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Inferring Properties in Computation Tree Logic.
Rajarshi Roy
Daniel Neider
Published in:
CoRR (2023)
Keyphrases
</>
computation tree logic
desirable properties
temporal properties
model checking
temporal logic