Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Symbolic Heuristic Search Using Decision Diagrams
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Error Detection with Directed Symbolic Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Symbolic heuristic search for factored Markov decision processes
Eighteenth national conference on Artificial intelligence
SetA*: an efficient BDD-based heuristic search algorithm
Eighteenth national conference on Artificial intelligence
Handbook of automated reasoning
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
State-set branching: Leveraging BDDs for heuristic search
Artificial Intelligence
Automated Creation of Pattern Database Search Heuristics
Model Checking and Artificial Intelligence
Partial Symbolic Pattern Databases for Optimal Sequential Planning
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
The symbolic OBDD scheme for generating mechanical assembly sequences
Formal Methods in System Design
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
Weighted A∗ search -- unifying view and application
Artificial Intelligence
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Optimal symbolic planning with action costs and preferences
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
I/O efficient directed model checking
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Experiments with multiple abstraction heuristics in symbolic verification
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
BDDRPA*: an efficient BDD-Based incremental heuristic search algorithm for replanning
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
| Hi-index | 0.00 |