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

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.