292 search results - page 18 / 59 » Model-checking agent refinement |
102
Voted
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
127
Voted
CORR
2008
Springer
15 years 17 days ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
74
Voted
AAAI
1994
15 years 1 months ago
1994
70
Voted
AAAI
1996
15 years 1 months ago
1996
117
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...