1 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2020
Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games
Dimitar P. Guelev
We propose enhancing the use of propositions for denoting decisions and strategies as established in temporal languages such as CTL*, if interpreted on concurrent game models. The…
cs.LO2017★ 1 cited
Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus
Dimitar Guelev, Shuling Wang, Naijun Zhan
Deductive methods for the verification of hybrid systems vary on the format of statements in correctness proofs. Building on the example of Hoare triple-based reasoning, we have in…
cs.LO2013★ 1 cited
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL
Dimitar P. Guelev
We propose a validity preserving translation from a subset of epistemic Alternating-time Temporal Logic (ATL) to epistemic Computation Tree Logic (CTL). The considered subset of ep…