29 citations · 40 across the 9 of their papers we have counts for
9 papers
Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse , Craig Interpolation and Beth Definability
Dimitar P. Guelev
We show how interval-based temporal separation on the extension of Moszkowski's discrete time interval temporal logic (Moszkowski, 1986) by the neighbourhood modalities (ITL-NL) an…
On Qualitative Preference in Alternating-time Temporal Logic with Strategy Contexts
Dimitar P. Guelev
We show how to add and eliminate binary preference on plays in Alternating-time Temporal Logic (ATL) with strategy contexts on Concurrent Game Models (CGMs) by means of a translati…
A Generalized Hybrid Hoare Logic
Naijun Zhan, Xiangyu Jin, Bohua Zhan +2
Deductive verification of hybrid systems (HSs) increasingly attracts more attention in recent years because of its power and scalability, where a powerful specification logic for H…
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…
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…
Refining and Delegating Strategic Ability in ATL
Dimitar P. Guelev
We propose extending Alternating-time Temporal Logic (ATL) by an operator <i refines-to G> F to express that agent i can distribute its powers to a set of sub-agents G in a way whi…