Trending Bestseller

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

No reviews yet Write a Review
Paperback / softback
27 February 2009
RRP: $93.49
$91.62
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
Verifying Time and Communication Costs of Rule-Based Reasoners.- Solving ?-Calculus Parity Games by Symbolic Planning.- Verifying Robocup Teams.- Scaling Search with Pattern Databases.- Survey on Directed Model Checking.- Automated Testing of Planning Models.- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.- Model Checking Driven Heuristic Search for Correct Programs.- Experimental Evaluation of a Planning Language Suitable for Formal Verification.- Relaxation Refinement: A New Method to Generate Heuristic Functions.- Model Checking Strategic Equilibria.

You Can Find This Title In

    Product Details
    ISBN-13
    9783642004308
    Author
    Doron A. Peled
    Publisher
    Springer Nature B.V.
    Published
    27 February 2009
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    RRP: $93.49
    $91.62
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Model Checking and Artificial Intelligence

    RRP: $93.49
    $91.62

    Description

    Verifying Time and Communication Costs of Rule-Based Reasoners.- Solving ?-Calculus Parity Games by Symbolic Planning.- Verifying Robocup Teams.- Scaling Search with Pattern Databases.- Survey on Directed Model Checking.- Automated Testing of Planning Models.- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.- Model Checking Driven Heuristic Search for Correct Programs.- Experimental Evaluation of a Planning Language Suitable for Formal Verification.- Relaxation Refinement: A New Method to Generate Heuristic Functions.- Model Checking Strategic Equilibria.

    You Can Find This Title In

      This Title Is Categorised As