Number of items: 1.
Conference or Workshop Item (A Paper)
Virtema, Jonni and Hofmann, Jana and Finkbeiner, Bernd and Kontinen, Juha and Yang, Fan
(2021)
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
This list was generated on Mon Sep 15 06:56:38 2025 CEST.