CyPhySim

swMATH20140MaRDI QIDQ31962FDOQ31962

Author name not available (Why is that?)

Cited In (3)

• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
• A dynamic quantized state system execution framework for hybrid automata
• Improving the complexity of the Lorenz dynamics

This page was built for software: CyPhySim