has been cited by the following article(s):
[1]
|
Continuous simulation abstraction refinement for Markov decision processes
2017 4th International Conference on Systems and Informatics (ICSAI),
2017
DOI:10.1109/ICSAI.2017.8248391
|
|
|
[2]
|
Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks
Procedia Computer Science,
2016
DOI:10.1016/j.procs.2016.05.443
|
|
|