Verification Series

Model Checking LTL with Team Semantics

25th June 2019, 11:20 add to calender
Martin Zimmermann

Abstract

I present an open problem on model checking LTL with team semantics

add to calender (including abstract)