ARCH19: Author IndexAuthor | 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 | 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 | v | van Huijgevoort, Birgit | ARCH-COMP19 Category Report: Stochastic Modelling |
|
|