2 search results - page 1 / 1 » Merging Plans with Quantitative Temporal Constraints, Tempor... |
AIPS
2000
13 years 6 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
FSTTCS
2006
Springer
13 years 8 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...