ARCH26: Author Index| Author | Papers |
|---|
| A | | Alexandre Dit Sandretto, Julien | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Althoff, Matthias | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Arcaini, Paolo | ARCH-COMP26 Category Report: Falsification | | B | | Battista, Ludovico | SpaceEx Hybrid Models with LTL Properties | | Benet, Luis | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Bu, Lei | ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | C | | Carraro, Alessandro | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Collins, Pieter | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Coogan, Samuel | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | F | | Fainekos, Georgios | ARCH-COMP26 Category Report: Falsification | | Forets, Marcelo | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Formica, Federico | ARCH-COMP26 Category Report: Falsification | | G | | Geretti, Luca | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Gon, Sauvik | ARCH-COMP26 Category Report: Falsification | | H | | Harapanahalli, Akash | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Holzinger, Nico | ARCH-COMP26 Repeatability Evaluation Report | | J | | Jin, Xiangyu | ARCH-COMP26 Category Report: Hybrid Systems Theorem Proving | | Johnson, Taylor T. | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | K | | Kaya, Ali | ARCH-COMP26 Category Report: Falsification | | Khandait, Tanmay | ARCH-COMP26 Category Report: Falsification | | Koller, Lukas | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Kundu, Atanu | ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
ARCH-COMP26 Category Report: Falsification | | L | | Ladner, Tobias | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP26 Repeatability Evaluation Report | | Lyu, Deyun | ARCH-COMP26 Category Report: Falsification | | M | | Mazouz, Rayan | ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | Menghi, Claudio | ARCH-COMP26 Category Report: Falsification | | Mitsch, Stefan | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP26 Category Report: Hybrid Systems Theorem Proving | | P | | Pedrielli, Giulia | ARCH-COMP26 Category Report: Falsification | | Perschl, Maximilian | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Porres, Ivan | ARCH-COMP26 Category Report: Falsification | | R | | Ray, Rajarshi | ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
ARCH-COMP26 Category Report: Falsification | | S | | Sasaki, Samuel | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Schilling, Christian | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Schilling, Christian | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Shi, Yuhui | ARCH-COMP26 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | T | | Thibeault, Quinn | ARCH-COMP26 Category Report: Falsification | | Tillet, Joris | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Tonetta, Stefano | SpaceEx Hybrid Models with LTL Properties | | W | | Waga, Masaki | ARCH-COMP26 Category Report: Falsification | | Wang, Shuling | ARCH-COMP26 Category Report: Hybrid Systems Theorem Proving | | Wooding, Ben | ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Z | | Zampedri, Gianni | SpaceEx Hybrid Models with LTL Properties | | Zhan, Bohua | ARCH-COMP26 Category Report: Hybrid Systems Theorem Proving | | Zhang, Huan | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Zhang, Zhenya | ARCH-COMP26 Category Report: Falsification | | Zhong, Xiangru | ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants |
|
|
