HyperLTL Satisfiability is S 1 1 -complete, HyperCTL* Satisfiability is S 1 2 -complete (2021)
Attributed to:
COSTRA -- The Cost of Winning Strategies
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract