Amanote Research
Register
Sign In
The Challenges of Verification and Validation of Automated Planning Systems (Keynote)
doi 10.1109/ase.2013.6693059
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2013
Authors
Jeremy Frank
Publisher
IEEE
Related search
Automated Discharge Planning Systems: Perceived Challenges and Recommendations
Health Care : Current Reviews
SAT.engine: Automated Planning and Validation Tools for Modern Train Control Systems
Rapid, Automated, Test, Verification and Validation for the CubeSats
International Journal of Space Science and Engineering
Control
Systems Engineering
Space
Planetary Science
Computer Science Applications
Aerospace Engineering
Automated Verification and Test Case Generation for Input Validation
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Invariant Generation for the Verification of Real-Time Systems
Validation and Verification of Knowledge-Based Systems: Report on EUROVAV99
Knowledge Engineering Review
Artificial Intelligence
Software
Verification and Validation of TMAP7
Keynote Lecture: The Problems and Challenges in Biomedical Sciences
Revista de Ensino de Bioquímica
