Verification Series
Model Checking LTL with Team Semantics
25th June 2019, 11:20
Martin Zimmermann
Abstract
I present an open problem on model checking LTL with team semantics
Maintained by Alexei Lisitsa