Sign in

What's in a Name? Linear Temporal Logic Literally Represents Time Lines.

Runming LiKeerthana GurushankarMarijn J. H. HeuleKristin Yvonne Rozier
Published in: VISSOFT (2023)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • line segments
  • hough transform
  • dynamic programming
  • reverse engineering