263 search results - page 2 / 53 » Discrete Symbol Calculus |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
APAL
2008
13 years 5 months ago
2008
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...
DAM
2008
13 years 5 months ago
2008
We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the...
SODA
2010
ACM
14 years 2 months ago
2010
ACM
ICTAC
2004
Springer
13 years 10 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...