Search Sciweavers | Sciweavers

292 search results - page 19 / 59

» Model-checking agent refinement

click to vote

VMCAI
2010
Springer

204views Software Engineering» more VMCAI 2010»

Best Probabilistic Transformers

14 years 4 months ago

Download rw4.cs.uni-sb.de

This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...

Björn Wachter, Lijun Zhang

claim paper

Read More »

click to vote

CAV
2003
Springer

140views Hardware» more CAV 2003»

Rabbit: A Tool for BDD-Based Verification of Real-Time Systems

13 years 11 months ago

Download www.sosy-lab.org

Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...

Dirk Beyer, Claus Lewerentz, Andreas Noack

claim paper

Read More »

click to vote

DAC
2008
ACM

169views Computer Architecture» more DAC 2008»

Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation

14 years 8 months ago

Download web.cecs.pdx.edu

ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...

Yan Chen, Fei Xie, Jin Yang

claim paper

Read More »

click to vote

ATAL
2009
Springer

85views Intelligent Agents» more ATAL 2009»

Refinement of the ACP2P by sharing user-feedbacks and learning query-responder-agent-relationships

13 years 11 months ago