|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang |
ARCH-COMP 2019 Category Report: Falsification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 129-140, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod |
ARCH-COMP19 Category Report: Stochastic Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 62-102, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu |
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 211-219, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson |
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 103-119, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lei Bu, Rajarshi Ray 0001, Stefan Schupp |
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 120-128, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray 0001, Christian Schilling 0001, Stefan Schupp |
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 14-40, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan |
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 141-161, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Gaukler, Peter Ulbrich |
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 183-200, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Taylor T. Johnson |
ARCH-COMP19 Repeatability Evaluation Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 162-169, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella |
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 1-13, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling 0001 |
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 41-61, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Matthias Althoff (eds.) |
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![EasyChair The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson |
Verification of Closed-loop Systems with Neural Network Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 201-210, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Bak, Kerianne Hobbs |
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCH@CPSIoTWeek ![In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019., pp. 170-182, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|