ARCH20: Author Index| Author | Papers |
|---|
| A | | Abate, Alessandro | ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | Abate, Alessandro | ARCH-COMP20 Category Report: Stochastic Models | | Adzkiya, Dieky | ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | Alexandre Dit Sandretto, Julien | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Althoff, Matthias | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | André, Étienne | Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge) | | Arcaini, Paolo | ARCH-COMP 2020 Category Report: Falsification | | B | | Bak, Stanley | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Bao, Zongnan | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Benet, Luis | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Bennani, Ismail | ARCH-COMP 2020 Category Report: Falsification | | Blom, Henk | ARCH-COMP20 Category Report: Stochastic Models | | Botoeva, Elena | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Bu, Lei | ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | C | | Cauchi, Nathalie | ARCH-COMP20 Category Report: Stochastic Models | | Chapoutot, Alexandre | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Chen, Xin | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Collins, Pieter | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | D | | Delicaris, Joanna | ARCH-COMP20 Category Report: Stochastic Models | | Donzé, Alexandre | ARCH-COMP 2020 Category Report: Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems | | Duggirala, Parasara Sridhar | Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials | | E | | Ernst, Gidon | ARCH-COMP 2020 Category Report: Falsification | | F | | Fainekos, Georgios | ARCH-COMP 2020 Category Report: Falsification | | Fan, Jiameng | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Forets, Marcelo | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Frehse, Goran | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP 2020 Category Report: Falsification | | Freire, Daniel | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Fribourg, Laurent | Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge) | | G | | Gaukler, Maximilian | Analysis of Real-Time Control Systems using First-Order Continuization | | Geretti, Luca | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | H | | Hartmanns, Arnd | ARCH-COMP20 Category Report: Stochastic Models | | Huang, Chao | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Huerta Y Munive, Jonathan Julián | ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving | | I | | Immler, Fabian | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | J | | Jerray, Jawher | Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge) | | Jin, Xiangyu | ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving | | Johnson, Taylor T. | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
ARCH-COMP20 Repeatability Evaluation Report | | K | | Khaled, Mahmoud | ARCH-COMP20 Category Report: Stochastic Models | | Kim, Edward | Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials | | Kochdumper, Niklas | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | L | | Lavaei, Abolfazl | ARCH-COMP20 Category Report: Stochastic Models | | Leofante, Francesco | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Li, Yangge | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Lidén Eddeland, Johan | Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems | | M | | Maleki, Amir | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Manzanas Lopez, Diego | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Mathesen, Logan | ARCH-COMP 2020 Category Report: Falsification | | Menghi, Claudio | ARCH-COMP 2020 Category Report: Falsification | | Miremadi, Sajed | Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems | | Mitchell, Ian | A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars | | Mitra, Sayan | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Mitsch, Stefan | ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving | | Musau, Patrick | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | P | | Pedrielli, Giulia | ARCH-COMP 2020 Category Report: Falsification | | Pilch, Carina | ARCH-COMP20 Category Report: Stochastic Models | | Pouzet, Marc | ARCH-COMP 2020 Category Report: Falsification | | R | | Ray, Rajarshi | ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Remke, Anne | ARCH-COMP20 Category Report: Stochastic Models | | S | | Sanders, David P. | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Schilling, Christian | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics | | Schupp, Stefan | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Stochastic Models | | Shmarov, Fedor | ARCH-COMP20 Category Report: Stochastic Models | | Sidrane, Chelsea | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | Soudjani, Sadegh | ARCH-COMP20 Category Report: Stochastic Models | | Syifa'Ul Mufid, Muhammad | ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | T | | Tran, Hoang-Dung | ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants | | V | | Vinod, Abraham P. | ARCH-COMP20 Category Report: Stochastic Models | | W | | Wang, Shuling | ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving | | Wetzlinger, Mark | ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Wooding, Ben | ARCH-COMP20 Category Report: Stochastic Models | | Wu, Yuming | ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | Y | | Yaghoubi, Shakiba | ARCH-COMP 2020 Category Report: Falsification | | Yamagata, Yoriyuki | ARCH-COMP 2020 Category Report: Falsification | | Z | | Zaffanella, Enea | ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | | Zamani, Majid | ARCH-COMP20 Category Report: Stochastic Models | | Zhan, Bohua | ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving | | Zhan, Naijun | ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving | | Zhang, Zhenya | ARCH-COMP 2020 Category Report: Falsification | | Zuliani, Paolo | ARCH-COMP20 Category Report: Stochastic Models | | Å | | Åkesson, Knut | Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems |
|
|
