![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
5th ARCH@DAHS 2018: Oxford, UK
- Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson:
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. EPiC Series in Computing 54, EasyChair 2018 - Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella:
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. 1-13 - Lei Bu, Rajarshi Ray, Stefan Schupp:
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. 14-22 - Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling
, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. 23-52 - Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. 53-70 - Alessandro Abate, Henk A. P. Blom
, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi
, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile
, Abraham P. Vinod:
ARCH-COMP18 Category Report: Stochastic Modelling. 71-103 - Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos
, Gidon Ernst
, Zhenya Zhang, Paolo Arcaini
, Ichiro Hasuo
, Sean Sedwards:
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. 104-109 - Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan:
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. 110-127 - Taylor T. Johnson:
ARCH-COMP18 Repeatability Evaluation Report. 128-134 - Stanley Bak:
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster. 135-144 - Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper:
Implementation of Taylor models in CORA 2018. 145-173 - Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson:
Linear Differential-Algebraic Equations (Benchmark Proposal). 174-184 - Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson
:
Discrete-Space Analysis of Partial Differential Equations. 185-195 - Patrick Musau, Taylor T. Johnson:
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal). 196-207 - Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak:
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. 208-217 - Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak:
Space Debris Collision Detection using Reachability. 218-228 - Nikolaos Kekatos, Daniel Heß, Goran Frehse:
Lane change maneuver for autonomous vehicles (Benchmark Proposal). 229-241 - Nathalie Cauchi, Alessandro Abate:
Benchmarks for stochastic models from building automation systems. 242-250
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.