|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ian Mitchell |
A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars.  |
ARCH  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang |
ARCH-COMP 2020 Category Report: Falsification. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Gaukler |
Analysis of Real-Time Control Systems using First-Order Continuization. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray 0001, Yuming Wu, Enea Zaffanella |
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson |
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen 0002, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling 0001 |
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawher Jerray, Laurent Fribourg, Étienne André |
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan |
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | |
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020 |
ARCH |
2020 |
DBLP BibTeX RDF |
|
| 1 | Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang 0015 |
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson |
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Taylor T. Johnson |
ARCH-COMP20 Repeatability Evaluation Report. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani 0001, Paolo Zuliani |
ARCH-COMP20 Category Report: Stochastic Models. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger |
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Kim, Parasara Sridhar Duggirala |
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. |
ARCH |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license