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

Show full item record



Permalink

http://hdl.handle.net/10138/338112

Citation

Virtema , J , Hofmann , J , Finkbeiner , B , Kontinen , J & Yang , F 2021 , Linear-Time Temporal Logic with Team Semantics : Expressivity and Complexity . in M Bojańczyk & C Chekuri (eds) , 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science . vol. 213 , 52 , LIPIcs , vol. 213 , Schloss Dagstuhl - Leibniz-Zentrum für Informatik , pp. 52:1-52:17 , 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science , 15/12/2021 . https://doi.org/10.4230/LIPIcs.FSTTCS.2021.52

Title: Linear-Time Temporal Logic with Team Semantics : Expressivity and Complexity
Author: Virtema, Jonni; Hofmann, Jana; Finkbeiner, Bernd; Kontinen, Juha; Yang, Fan
Other contributor: Bojańczyk, Mikołaj
Chekuri, Chandra
Contributor organization: Department of Mathematics and Statistics
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Date: 2021-12
Language: eng
Number of pages: 17
Belongs to series: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Belongs to series: LIPIcs
ISBN: 978-3-95977-215-0
ISSN: 1868-8969
DOI: https://doi.org/10.4230/LIPIcs.FSTTCS.2021.52
URI: http://hdl.handle.net/10138/338112
Subject: 113 Computer and information sciences
Peer reviewed: Yes
Rights: cc_by
Usage restriction: openAccess
Self-archived version: publishedVersion


Files in this item

Total number of downloads: Loading...

Files Size Format View
LIPIcs_FSTTCS_2021_52.pdf 806.1Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record