284 search results - page 13 / 57 » Explanation-based Scenario Generation for Reactive System Mo... |
114
Voted
JSS
2006
15 years 3 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
143
Voted
AUSDM
2007
Springer
15 years 9 months ago
2007
Springer
Argumentation allows agents to exchange additional information to argue about their beliefs and other mental attitudes during the negotiation process. Utterances and subsequent obs...
135
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
The recognition and prediction of intersection situations and an accompanying threat assessment are an indispensable skill of future driver assistance systems. This study focuses o...
150
Voted
TSE
2010
14 years 10 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
142
Voted
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...