Login / Signup
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic.
Nathanaël Fijalkow
Bastien Maubert
Aniello Murano
Moshe Y. Vardi
Published in:
IJCAI (2020)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bounded model checking
orders of magnitude
model checker