Symbolic model checking techniques for BDD-based planning in distributed environments

Symbolic model checking techniques for BDD-based planning in distributed environments

Not available === text

Bibliographic Details
Main Author: Goel, Anuj, 1973-
Format: Others
Language:English
Published: 2011
Subjects:
Computer programs > Verification
Artificial intelligence
Online Access:http://hdl.handle.net/2152/11067

Internet

http://hdl.handle.net/2152/11067

Similar Items