activity
20072025
most citedModel-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

29 citations · 40 across the 9 of their papers we have counts for

collaborators
Showing 2007Show all

1 paper · 1 filter

cs.LO2007★ 4 cited

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

Dimitar P. Guelev

The paper presents probabilistic extensions of interval temporal logic (ITL) and duration calculus (DC) with infinite intervals and complete Hilbert-style proof systems for them. T…