Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Handbook of theoretical computer science (vol. B)
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Model checking
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Symbolic Model Checking
Integrating BDD-Based and SAT-Based Symbolic Model Checking
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
Model Checking and Artificial Intelligence
Model Checking Knowledge and Linear Time: PSPACE Cases
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Model-Based Diagnosability Analysis for Web Services
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Test Strategy Generation Using Quantified CSPs
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Using Model Counting to Find Optimal Distinguishing Tests
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A probabilistic analysis of diagnosability in discrete event systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
Generating safe assumption-based plans for partially observable, nondeterministic domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A spectrum of symbolic on-line diagnosis approaches
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A scalable jointree algorithm for diagnosability
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Diagnosability testing with satisfiability algorithms
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Scalable diagnosability checking of event-driven systems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Codesign of dependable systems: a component-based modeling language
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Diagnosability verification with Petri net unfoldings
International Journal of Knowledge-based and Intelligent Engineering Systems
Diagnosability Analysis of Discrete Event Systems with Autonomous Components
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Intrinsic hurdles in applying automated diagnosis and recovery to spacecraft
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
A methodology for automatic diagnosability analysis
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Automatic abstraction of time-varying system models for model based diagnosis
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems
A comprehensive approach to on-board autonomy verification and validation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Formal correctness, safety, dependability, and performance analysis of a satellite
Proceedings of the 34th International Conference on Software Engineering
Maintaining the health of software monitors
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. Caching ...