ARCH17: Author Index| Author | Papers |
|---|
| A | | Abate, Alessandro | ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Abbas, Houssam | An Autonomous Vehicle Control Stack | | Adzkiya, Dieky | ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | Althoff, Matthias | ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics | | B | | Bak, Stanley | Direct Verification of Linear Systems with over 10000 Dimensions
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Beg, Omar | Reachability Analysis of Transformer-Isolated DC-DC Converters | | Bu, Lei | ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics | | Budnik, Christof J. | Testbed for Model-based Verification of Cyber-physical Production Systems | | Busboom, Axel | A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees | | C | | Cattaruzza, Dario | ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Chan, Nicole | Verifying safety of an autonomous spacecraft rendezvous mission | | Chen, Xin | Formal Verification of a Multi-Basal Insulin Infusion Control Model
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics | | D | | Davoudi, Ali | Reachability Analysis of Transformer-Isolated DC-DC Converters | | Dokhanchi, Adel | ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks | | Duggirala, Parasara Sridhar | Direct Verification of Linear Systems with over 10000 Dimensions | | Dutta, Souradeep | Formal Verification of a Multi-Basal Insulin Infusion Control Model | | E | | Eckl, Sebastian | Testbed for Model-based Verification of Cyber-physical Production Systems | | F | | Fainekos, Georgios | ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks | | Falsone, Alessandro | A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees | | Forets, Marcelo | Modeling the Wind Turbine Benchmark with PWA Hybrid Automata | | Frehse, Goran | Modeling the Wind Turbine Benchmark with PWA Hybrid Automata
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | G | | Gario, Marco | Testbed for Model-based Verification of Cyber-physical Production Systems | | Giacobbe, Mirco | ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics | | H | | Hartung, Marianne | A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees | | Hoxha, Bardh | ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks | | I | | Immler, Fabian | ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics | | Ioli, Daniele | A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees | | J | | Johnson, Taylor T. | Distributed Autonomous Systems
Reachability Analysis of Transformer-Isolated DC-DC Converters
ARCH-COMP17 Repeatability Evaluation Report | | K | | Kekatos, Nikolaos | Modeling the Wind Turbine Benchmark with PWA Hybrid Automata | | M | | Mangharam, Rahul | An Autonomous Vehicle Control Stack | | Mitra, Sayan | Verifying safety of an autonomous spacecraft rendezvous mission | | Mitsch, Stefan | A Benchmark for Component-based Hybrid Systems Safety Verification | | Müller, Andreas | A Benchmark for Component-based Hybrid Systems Safety Verification | | N | | Nguyen, Luan Viet | Distributed Autonomous Systems | | O | | O'Kelly, Matthew | An Autonomous Vehicle Control Stack | | P | | Pacelli, Vincent | An Autonomous Vehicle Control Stack | | Platzer, André | A Benchmark for Component-based Hybrid Systems Safety Verification | | Prandini, Maria | A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees | | R | | Ray, Rajarshi | ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Retschitzegger, Werner | A Benchmark for Component-based Hybrid Systems Safety Verification | | Rodionova, Alena | An Autonomous Vehicle Control Stack | | S | | Sankaranarayanan, Sriram | Formal Verification of a Multi-Basal Insulin Infusion Control Model | | Scherer, Sebastian | Challenges for Safe Autonomous Flight | | Schupp, Stefan | ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics | | Schwinger, Wieland | A Benchmark for Component-based Hybrid Systems Safety Verification | | T | | Tran, Hoang-Dung | Distributed Autonomous Systems | | X | | Xiang, Weiming | Distributed Autonomous Systems | | Y | | Yaghoubi, Shakiba | ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks |
|
|
