Sign in

Mapping singly-linked rules to linear temporal logic formulas.

Isaac MackeyJianwen Su
Published in: Inf. Syst. (2023)
Keyphrases
  • linear temporal logic
  • temporal logic
  • linear time temporal logic
  • model checking
  • bounded model checking
  • domain independent