|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling 0001, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee 0001 |
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.  |
ARCH@ADHS  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Kochdumper, Philipp Gassert, Matthias Althoff |
Verification of Collision Avoidance for CommonRoad Traffic Scenarios. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan |
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff |
Guaranteed State Estimation in CORA 2021. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger |
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor T. Johnson |
ARCH-COMP21 Repeatability Evaluation Report. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Matthias Althoff (eds.) |
8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. |
ARCH@ADHS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson |
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling 0001, Mark Wetzlinger |
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani |
ARCH-COMP21 Category Report: Stochastic Models. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue 0001, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang |
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawher Jerray |
ORBITADOR: A tool to analyze the stability of periodical dynamical systems. |
ARCH@ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Rajarshi Ray 0001, Stefan Schupp |
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak |
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Immler, Matthias Althoff, Xin Chen 0002, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani 0001 |
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Musau, Taylor T. Johnson |
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal). |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper |
Implementation of Taylor models in CORA 2018. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak |
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Stanley Bak, Xin Chen 0002, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling 0001, Stefan Schupp |
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor T. Johnson |
ARCH-COMP18 Repeatability Evaluation Report. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Cauchi, Alessandro Abate |
Benchmarks for stochastic models from building automation systems. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak |
Space Debris Collision Detection using Reachability. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson |
Linear Differential-Algebraic Equations (Benchmark Proposal). |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Kekatos, Daniel Heß, Goran Frehse |
Lane change maneuver for autonomous vehicles (Benchmark Proposal). |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson (eds.) |
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018 |
ARCH@ADHS |
2018 |
DBLP BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson |
Discrete-Space Analysis of Partial Differential Equations. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ARCH@ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license