CyPhySim

MaRDI QIDQ31962swMATHFDO

Official website https://chess.eecs.berkeley.edu/cyphysim/

Cited in

(6)

• 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
• CalCS
• ABsolver
• DyverseRBT
• Improving the complexity of the Lorenz dynamics

This page was built for software: CyPhySim