Login / Signup

Assume-Guarantee Synthesis for Prompt Linear Temporal Logic.

Nathanaël FijalkowBastien MaubertAniello MuranoMoshe Y. Vardi
Published in: IJCAI (2020)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • orders of magnitude
  • model checker