Model Checking Dynamic Strategy Logic with Memoryless StrategiesOpen Website

Liping Xiong, Sumei Guo

Published: 01 Jan 2020, Last Modified: 12 May 2023CSAE 2020Readers: Everyone
0 Replies