Login / Signup
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity.
Jonni Virtema
Jana Hofmann
Bernd Finkbeiner
Juha Kontinen
Fan Yang
Published in:
CoRR (2020)
Keyphrases
</>
linear time temporal logic
temporal logic
domain specific
computational properties
general purpose
logic programming
model checking
decision problems
default reasoning