DryVR 2.0

Aroc

“…Many toolboxes for designing and simulating implicit and explicit MPC controllers have been developed, e.g., the ACADO toolkit [14], the Control Toolbox [12], MATMPC [7], OptCon [25], OPTIPLAN [15], ParNMPC [10], and SolACE [3], but only few tools are able to verify correctness, like e.g., MUP [26] and CODEV [5]. For motion-primitive-based planning, many tools apply RRTs, e.g., DryVR 2.0 [28] and the Open Motion Planning Library [8]. Unlike most existing tools for MPC and motion-primitivebased control, AROC is able to guarantee robust safety for the synthesized controllers despite disturbances.…”

Exploring the role of simulator fidelity in the safety validation of learning‐enabled autonomous systems

“…2015; Qi et al. 2018). These tools are part of a broader evolution that encompasses techniques ranging from search‐based algorithms to machine learning and data‐driven approaches, all aimed at enhancing the effectiveness of falsification methods (Ramezani et al.…”

“…Software tools, including S-TaLiRo, Breach, C2E2, and DryVR, have become instrumental in the field of system falsification, representing crucial advancements in simulation-driven testing (Fainekos et al 2012;Annpureddy et al 2011;Donzé 2010;Duggirala et al 2015;Qi et al 2018). These tools are part of a broader evolution that encompasses techniques ranging from searchbased algorithms to machine learning and data-driven approaches, all aimed at enhancing the effectiveness of falsification methods (Ramezani et al 2021;Zhang et al 2021;Zhang, Arcaini, and Hasuo 2020;Deshmukh et al 2015;Ernst et al 2021;Mathesen, Pedrielli, and Fainekos 2021;Akazaki et al 2018;Qin et al 2019;Zhang, Hasuo, and Arcaini 2019).…”