Login / Signup
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