ARCH19: Author Index| Author | Papers |
|---|
| A | | Abate, Alessandro | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP19 Category Report: Stochastic Modelling | | Adzkiya, Dieky | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Althoff, Matthias | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Arcaini, Paolo | ARCH-COMP 2019 Category Report: Falsification | | B | | Bak, Stanley | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees | | Becchi, Anna | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Benet, Luis | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Blom, Henk | ARCH-COMP19 Category Report: Stochastic Modelling | | Bu, Lei | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics | | C | | Carpenter, Taylor J. | ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Cauchi, Nathalie | ARCH-COMP19 Category Report: Stochastic Modelling | | Chapoutot, Alexandre | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Chen, Xin | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Cimatti, Alessandro | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Cyranka, Jacek | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | | D | | Degiorgio, Kurt | ARCH-COMP19 Category Report: Stochastic Modelling | | Donzé, Alexandre | ARCH-COMP 2019 Category Report: Falsification | | Dutta, Souradeep | ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | E | | Ernst, Gidon | ARCH-COMP 2019 Category Report: Falsification | | F | | Fainekos, Georgios | ARCH-COMP 2019 Category Report: Falsification | | Forets, Marcelo | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Forets, Marcelo | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Frehse, Goran | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Fränzle, Martin | ARCH-COMP19 Category Report: Stochastic Modelling | | G | | Gaukler, Maximilian | Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing | | Geretti, Luca | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Giacobbe, Mirco | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Griggio, Alberto | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Grosu, Radu | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | | Gruenbacher, Sophie | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | | H | | Haesaert, Sofie | ARCH-COMP19 Category Report: Stochastic Modelling | | Hobbs, Kerianne | Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees | | I | | Immler, Fabian | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Islam, Md Ariful | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | | Ivanov, Radoslav | ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | J | | Jin, Xiangyu | ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving | | Johnson, Taylor T. | ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP19 Repeatability Evaluation Report
Verification of Closed-loop Systems with Neural Network Controllers | | K | | Kochdumper, Niklas | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | M | | Ma, Hao | ARCH-COMP19 Category Report: Stochastic Modelling | | Manzanas Lopez, Diego | ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Verification of Closed-loop Systems with Neural Network Controllers | | Mathesen, Logan | ARCH-COMP 2019 Category Report: Falsification | | Mitsch, Stefan | ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving | | Moritz Hahn, Ernst | ARCH-COMP19 Category Report: Stochastic Modelling | | Mover, Sergio | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Mufid, Muhammad Syifa'Ul | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Musau, Patrick | ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Verification of Closed-loop Systems with Neural Network Controllers | | O | | Oishi, Meeko | ARCH-COMP19 Category Report: Stochastic Modelling | | P | | Pedrielli, Giulia | ARCH-COMP 2019 Category Report: Falsification | | Pilch, Carina | ARCH-COMP19 Category Report: Stochastic Modelling | | R | | Ray, Rajarshi | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics | | Remke, Anne | ARCH-COMP19 Category Report: Stochastic Modelling | | Riouak, Idriss | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | S | | Salamati, Mahmoud | ARCH-COMP19 Category Report: Stochastic Modelling | | Sanders, David P. | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Schilling, Christian | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Schupp, Stefan | ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics | | Smolka, Scott | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | | Sogokon, Andrew | ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving | | Soudjani, Sadegh | ARCH-COMP19 Category Report: Stochastic Modelling | | T | | Tan, Yong Kiam | ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving | | Tonetta, Stefano | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Tran, Hoang-Dung | ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Verification of Closed-loop Systems with Neural Network Controllers | | Tschaikowski, Max | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | | U | | Ulbrich, Peter | Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing | | v | | van Huijgevoort, Birgit | ARCH-COMP19 Category Report: Stochastic Modelling | | V | | Vinod, Abraham P. | ARCH-COMP19 Category Report: Stochastic Modelling | | W | | Wang, Shuling | ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving | | Y | | Yaghoubi, Shakiba | ARCH-COMP 2019 Category Report: Falsification | | Yamagata, Yoriyuki | ARCH-COMP 2019 Category Report: Falsification | | Z | | Zaffanella, Enea | ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Zhan, Bohua | ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving | | Zhan, Naijun | ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving | | Zhang, Zhenya | ARCH-COMP 2019 Category Report: Falsification |
|
|
