related documents Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method Conference Proceeding Optimal Scheduling for Constant-Rate Multi-Mode Systems Conference Proceeding
