2875 search results - page 166 / 575 » Model checking agentspeak |
106
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
ERSHOV
2001
Springer
15 years 5 months ago
2001
Springer
111
click to vote
FM
2001
Springer
15 years 5 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...