Pang, Jun ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
Characterising probabilistic alternating simulation for concurrent games
Publication date :
2020
Event name :
14th IEEE Symposium on Theoretical Aspects of Software Engineering
Event date :
2020
Audience :
International
Main work title :
Proceedings of the 14th IEEE Symposium on Theoretical Aspects of Software Engineering (TASE)