ARCH20:Author Index

AuthorPapers
A
Abate, AlessandroARCH-COMP20 Category Report: Stochastic Models
Abate, AlessandroARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Adzkiya, DiekyARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Alexandre Dit Sandretto, JulienARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Althoff, MatthiasARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
André, ÉtienneGuaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
Arcaini, PaoloARCH-COMP 2020 Category Report: Falsification
B
Bak, StanleyARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Bao, ZongnanARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Benet, LuisARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Bennani, IsmailARCH-COMP 2020 Category Report: Falsification
Blom, HenkARCH-COMP20 Category Report: Stochastic Models
Botoeva, ElenaARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Bu, LeiARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
C
Cauchi, NathalieARCH-COMP20 Category Report: Stochastic Models
Chapoutot, AlexandreARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Chen, XinARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Collins, PieterARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
D
Delicaris, JoannaARCH-COMP20 Category Report: Stochastic Models
Donzé, AlexandreARCH-COMP 2020 Category Report: Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
Duggirala, Parasara SridharKaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials
E
Ernst, GidonARCH-COMP 2020 Category Report: Falsification
F
Fainekos, GeorgiosARCH-COMP 2020 Category Report: Falsification
Fan, JiamengARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Forets, MarceloARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Frehse, GoranARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP 2020 Category Report: Falsification
Freire, DanielARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Fribourg, LaurentGuaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
G
Gaukler, MaximilianAnalysis of Real-Time Control Systems using First-Order Continuization
Geretti, LucaARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
H
Hartmanns, ArndARCH-COMP20 Category Report: Stochastic Models
Huang, ChaoARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Huerta Y Munive, Jonathan JuliánARCH-COMP20 Category Report:Hybrid Systems Theorem Proving
I
Immler, FabianARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
J
Jerray, JawherGuaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
Jin, XiangyuARCH-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, MahmoudARCH-COMP20 Category Report: Stochastic Models
Kim, EdwardKaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials
Kochdumper, NiklasARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
L
Lavaei, AbolfazlARCH-COMP20 Category Report: Stochastic Models
Leofante, FrancescoARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Li, YanggeARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Lidén Eddeland, JohanEvaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
M
Maleki, AmirARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Manzanas Lopez, DiegoARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Mathesen, LoganARCH-COMP 2020 Category Report: Falsification
Menghi, ClaudioARCH-COMP 2020 Category Report: Falsification
Miremadi, SajedEvaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
Mitchell, IanA Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars
Mitra, SayanARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Mitsch, StefanARCH-COMP20 Category Report:Hybrid Systems Theorem Proving
Musau, PatrickARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
P
Pedrielli, GiuliaARCH-COMP 2020 Category Report: Falsification
Pilch, CarinaARCH-COMP20 Category Report: Stochastic Models
Pouzet, MarcARCH-COMP 2020 Category Report: Falsification
R
Ray, RajarshiARCH-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, AnneARCH-COMP20 Category Report: Stochastic Models
S
Sanders, David P.ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Schilling, ChristianARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Schupp, StefanARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 Category Report: Stochastic Models
Shmarov, FedorARCH-COMP20 Category Report: Stochastic Models
Sidrane, ChelseaARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Soudjani, SadeghARCH-COMP20 Category Report: Stochastic Models
Syifa'Ul Mufid, MuhammadARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
T
Tran, Hoang-DungARCH-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, ShulingARCH-COMP20 Category Report:Hybrid Systems Theorem Proving
Wetzlinger, MarkARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Wooding, BenARCH-COMP20 Category Report: Stochastic Models
Wu, YumingARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Y
Yaghoubi, ShakibaARCH-COMP 2020 Category Report: Falsification
Yamagata, YoriyukiARCH-COMP 2020 Category Report: Falsification
Z
Zaffanella, EneaARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking
Zamani, MajidARCH-COMP20 Category Report: Stochastic Models
Zhan, BohuaARCH-COMP20 Category Report:Hybrid Systems Theorem Proving
Zhan, NaijunARCH-COMP20 Category Report:Hybrid Systems Theorem Proving
Zhang, ZhenyaARCH-COMP 2020 Category Report: Falsification
Zuliani, PaoloARCH-COMP20 Category Report: Stochastic Models
Å
Åkesson, KnutEvaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems