Sign in

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.

Jonni VirtemaJana HofmannBernd FinkbeinerJuha KontinenFan Yang
Published in: FSTTCS (2021)
Keyphrases
  • linear time temporal logic
  • computational properties
  • modal operators
  • machine learning
  • model checking
  • natural deduction
  • sequent calculus