Towards partial order reduction for model checking temporal epistemic logic
by
Alessio Lomuscio
,
Wojciech Penczek
,
Hongyang Qu
| Citations: | 2 - 2 self |
BibTeX
@MISC{Lomuscio_towardspartial,
author = {Alessio Lomuscio and Wojciech Penczek and Hongyang Qu},
title = {Towards partial order reduction for model checking temporal epistemic logic},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We introduce basic partial order reduction techniques in a temporal-epistemic setting. We analyse the semantics of interpreted systems with respect to the notions of trace-equivalence for the epistemic linear time logic LTLK−X. 1
