AAAI

Association for the Advancement of Artificial Intelligence

Home / Proceedings / Papers from the 2001 AAAI Spring Symposium / Model-Based Validation of Intelligence

Monte-Carlo Simulation for Automatic Synthesis of Verified Real-Time Controllers

Download PDF

Authors

Christopher W. Geib

Robert P. Goldman

and David J. Musliner

DOI:


Abstract:

This extended abstract outlines work in progress on the use of Monte Carlo simulation in the automatic construction of verified real-time controllers. This is part of ongoing work on the CIRCA architecture. As such, we will first briefly outline the CIRCA architecture and its method for constructing controllers and then outline the problem and our solution approach.