Reverse Dependencies of psy-taliro

The following projects have a declared dependency on psy-taliro:

• ardutest — Wrapper around the arductl library to run falsifications using PSY-Taliro
• partx — PartX Optimizer to use with PSY-Taliro
• px4test — Run PX4 falsification tests