Picture for Davide Bresolin

Davide Bresolin

University of Verona, Verona, Italy

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Add code
Jun 08, 2010
Figure 1 for Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Figure 2 for Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Figure 3 for Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Viaarxiv icon