Conferences in DBLP

(mochart)
2008 (conf/mochart/2008)

1. 
   Verifying Time and Communication Costs of Rule-Based Reasoners. [Citation Graph (, )][DBLP]
   
   
2. 
   Solving µ-Calculus Parity Games by Symbolic Planning. [Citation Graph (, )][DBLP]
   
   
3. 
   Verifying Robocup Teams. [Citation Graph (, )][DBLP]
   
   
4. 
   Scaling Search with Pattern Databases. [Citation Graph (, )][DBLP]
   
   
5. 
   Survey on Directed Model Checking. [Citation Graph (, )][DBLP]
   
   
6. 
   Automated Testing of Planning Models. [Citation Graph (, )][DBLP]
   
   
7. 
   Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. [Citation Graph (, )][DBLP]
   
   
8. 
   Model Checking Driven Heuristic Search for Correct Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   Experimental Evaluation of a Planning Language Suitable for Formal Verification. [Citation Graph (, )][DBLP]
   
   
10. 
    Relaxation Refinement: A New Method to Generate Heuristic Functions. [Citation Graph (, )][DBLP]
    
    
11. 
    Model Checking Strategic Equilibria. [Citation Graph (, )][DBLP]