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

Model-Based Validation of Intelligence

Volume

Papers from the 2001 AAAI Spring Symposium

Contents

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.