Merge pull request #618 from JuliaReach/mforets-patch-1

Add technical report
JuliaReach · Apr 15, 2019 · 475f8c6 · 475f8c6
2 parents 9d6fe70 + c5ac3e6
commit 475f8c6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/src/citations.md b/docs/src/citations.md
@@ -23,6 +23,9 @@ This page lists publications citing JuliaReach, such as packages or papers from
 
 - Mitchell, Ian M., Jacob Budzis, and Andriy Bolyachevets. "Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling." arXiv preprint arXiv:1901.01006 (2019).
 
+## Technical Reports
+
+- [Report on compositional verification and incremental verification in interaction with online controller adaptation](https://cps-vo.org/file/60135/download/167990). Maria Prandini - PoliMi, Olaf Stursberg, Zonglin Liu - UKS, Goran Frehse - UGA, Matthias Althoff - TUM, Alexander Rausch, Jens Oehlerking - Bosch. Unifying Control and Verification of Cyber-Physical Systems (UnCoVerCPS)
 
 ## Theses