The refereed post-proceedings of the 4th Workshop on Model
Checking and Artificial Intelligence are presented in this volume.
Eight full workshop papers are presented along with three
post-proceedings papers. Papers are organized into topical sections
covering planning and model checking, heuristics for real-time
model checking, verification of multi-agent systems, and logics for
model checking and artificial intelligence.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
