ARCH-COMP24: Author Index| Author | Papers |
|---|
| A | | Alexandre Dit Sandretto, Julien | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Althoff, Matthias | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems
Implementation of Polyhedral Operations in CORA 2024 | | Arcaini, Paolo | ARCH-COMP 2024 Category Report: Falsification | | B | | Basagiannis, Stylianos | Stability Verification of an Industrial Switched PI Control Systems | | Battista, Ludovico | Stability Verification of an Industrial Switched PI Control Systems | | Becchi, Anna | Stability Verification of an Industrial Switched PI Control Systems | | Benet, Luis | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Blab, Clemens | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Bu, Lei | ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | C | | Chotaliya, Surdeep | ARCH-COMP 2024 Category Report: Falsification | | Cimatti, Alessandro | Stability Verification of an Industrial Switched PI Control Systems | | Collins, Pieter | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | F | | Fainekos, Georgios | ARCH-COMP 2024 Category Report: Falsification | | Forets, Marcelo | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Formica, Federico | ARCH-COMP 2024 Category Report: Falsification | | G | | Geretti, Luca | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Giantamidis, Georgios | Stability Verification of an Industrial Switched PI Control Systems | | H | | Hekal, Abdelrahman | ARCH-COMP 2024 Category Report: Falsification | | J | | Jia, Yuhao | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Johnson, Taylor T. | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | K | | Khandait, Tanmay | ARCH-COMP 2024 Category Report: Falsification | | Kotsev, Viktor | Implementation of Polyhedral Operations in CORA 2024 | | Kranzl, Manuel | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Kulmburg, Adrian | Implementation of Polyhedral Operations in CORA 2024 | | Kundu, Atanu | ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
ARCH-COMP 2024 Category Report: Falsification | | L | | Ladner, Tobias | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Lew, Ethan | ARCH-COMP 2024 Category Report: Falsification | | Linauer, Lukas | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Loreti, Michele | ARCH-COMP 2024 Category Report: Falsification | | M | | Manzanas Lopez, Diego | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Menghi, Claudio | ARCH-COMP 2024 Category Report: Falsification | | Mitsch, Stefan | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Mover, Sergio | Stability Verification of an Industrial Switched PI Control Systems | | N | | Nenzi, Laura | ARCH-COMP 2024 Category Report: Falsification | | Neubauer, Philipp | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Neubauer, Sophie | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | P | | Pedrielli, Giulia | ARCH-COMP 2024 Category Report: Falsification | | Peltomäki, Jarkko | ARCH-COMP 2024 Category Report: Falsification | | Porres, Ivan | ARCH-COMP 2024 Category Report: Falsification | | R | | Ray, Rajarshi | ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
ARCH-COMP 2024 Category Report: Falsification | | S | | Schilling, Christian | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Shi, Yuhui | ARCH-COMP24 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | Soloviev, Valentin | ARCH-COMP 2024 Category Report: Falsification | | T | | Tacchella, Alberto | Stability Verification of an Industrial Switched PI Control Systems | | Tillet, Joris | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Tonetta, Stefano | Stability Verification of an Industrial Switched PI Control Systems | | Tsachouridis, Vassilios | Stability Verification of an Industrial Switched PI Control Systems | | V | | Visconti, Ennio | ARCH-COMP 2024 Category Report: Falsification | | W | | Waga, Masaki | ARCH-COMP 2024 Category Report: Falsification | | Wetzlinger, Mark | ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems
Implementation of Polyhedral Operations in CORA 2024 | | Z | | Zhang, Huan | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Zhang, Zhenya | ARCH-COMP 2024 Category Report: Falsification | | Zhong, Xiangru | ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants |
|
|
