PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems

von Devonport, Alex
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

von Lavaei, Abolfazl
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, proceedings

Veröffentlicht 2019