ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- DOI
- 10.29007/zkf6
- Published
- Not recorded
- Container
- EPiC Series in Computing
- Publisher
- EasyChair
- Open access
- unknown
Credibility signals
uncertain Score 58/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.
Show all credibility signals
- supportingDOI registered: A matching record was returned by Crossref.
- supportingDOI resolves: A matching record was returned by Crossref.
- not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility.
- not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made.
- not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made.
- not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made.
- not scoredROR affiliation: Not checked or no result supplied; no credibility inference made.
- not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredOpen access status: Not checked or no result supplied; no credibility inference made.
- not scoredPublication license: Not checked or no result supplied; no credibility inference made.
- not scoredPublication version: A publication version was supplied but is not scored.
- cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty.
Cite this work
BibTeX
@article{allodium:10.29007/zkf6,
title = {ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
author = {Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Xin Chen and Pieter Collins and Marcelo Forets and Daniel Freire and Fabian Immler and Niklas Kochdumper and David P. Sanders and Christian Schilling},
journal = {EPiC Series in Computing},
doi = {10.29007/zkf6},
url = {https://doi.org/10.29007/zkf6}
}RIS
TY - JOUR TI - ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics AU - Luca Geretti AU - Julien Alexandre Dit Sandretto AU - Matthias Althoff AU - Luis Benet AU - Alexandre Chapoutot AU - Xin Chen AU - Pieter Collins AU - Marcelo Forets AU - Daniel Freire AU - Fabian Immler AU - Niklas Kochdumper AU - David P. Sanders AU - Christian Schilling JO - EPiC Series in Computing DO - 10.29007/zkf6 UR - https://doi.org/10.29007/zkf6 ER -
APA
Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Collins, P., Forets, M., Freire, D., Immler, F., Kochdumper, N., Sanders, D. P., & Schilling, C. (n.d.). ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. EPiC Series in Computing. https://doi.org/10.29007/zkf6
Source records
- crossref · retrieved 2026-09-26T20:43:27.405Z