875 search results - page 44 / 175 » On Reachability Under Uncertainty |
97
Voted
IJAR
2008
15 years 21 days ago
2008
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
117
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
118
Voted
EUSFLAT
2007
15 years 2 months ago
2007
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
112
Voted
GANDC
2011
14 years 11 days ago
2011
3D geological models commonly built to manage natural resources are much affected by uncertainty because most of the subsurface is inaccessible to direct observation. Appropriate ...
117
click to vote
ISIPTA
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we consider decision making under hierarchical imprecise uncertainty models and derive general algorithms to determine optimal actions. Numerical examples illustrate...