- 9.00 Invited Talk (TBA)
- 10.00 Coffee Break
- SESSION I: Application of Model-Checking Techniques to Planning and
Diagnosis
- 10.30: Interleaving Execution and Planning via Symbolic Medel
Checking
P. Bertoli, A. Cimatti and P. Traverso
- 11.30: A Factored Symbolic Approach to Reactive Planning
S. H. Chung and B. C. Williams
- 12.00: Diagnosis of Discrete Event Systems in Rule-based Model using
First-order logic
A. Huang, V. Chandra, S. Jiang and R. Kumar
- 12.30: Fault Isolation Using Automatic Abstraction to Avoid
State Space Explosion
D. Lawesson, U. Nilsson and I. Klein
- 12.30 Lunch Break
- 14.00 SESSION II: Application of Model-Checking Techniques to AI
problems
- 14.00: Model Checking a Knowledge Exchange Scenario
S. van Otterloo, W. van der Hoek and M. Wooldridge
- 14.30: Symbolic Real-Time Dynamic Programming
Z. Feng, S. Zilberstein and E. A. Hansen
- 15.00: Analysis of Genetic Regulatory Networks: A Model-Checking
Approach
G. Batt, H. de Jong, J. Geiselmann and M. Page
- 15.30 Coffee Break
- 16.00 SESSION III: Application of AI Techniques to Model-Checking
- 16.00: Byte Code Distance Heuristics and Trail Direction for
Model Checking Java Programs
S. Edelkamp and T. Mehler
- 16.30: Symmetry Reduction and Heuristic Search for Error
Detection in Model Checking
A. L. Lafuente
- 17.00: Breadth-First Frontier Search with Delayed Duplicate
Detection
R. E. Korf
- 17.30: SAT-based Model Checking of Security Protocols
A. Armando, L. Compagna and P. Ganty
- 18.00 Wrap up and conclusion
|
