ARCH20: Author IndexAuthor | 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 |
|
|