Publications

This pages gives a brief overview of the publications of CORA. We first state the core publications of CORA and afterwards some publications using CORA.

Your browser does not support SVG

To cite CORA, please use the following references:

  @inproceedings{Althoff2015ARCH,
	author			= {Matthias Althoff},
	title			= {An Introduction to {CORA} 2015},
	booktitle		= {Proc. of the 1st and 2nd Workshop on Applied Verification for Continuous and Hybrid Systems},
	year			= {2015},
	publisher 		= {EasyChair},
	pages			= {120-151},
	url		    	= {https://easychair.org/publications/paper/xMm},
	doi		    	= {10.29007/zbkv}
  }
  @inproceedings{Althoff2025manual,
	title			= {{CORA} Manual},
	author			= {Althoff, Matthias and Kochdumper, Niklas and Ladner, Tobias and Perschl, Maximilian and Wetzlinger, Mark},
	booktitle 		= {Technical University of Munich},
	year			= {2025},
	url			= {https://cora.in.tum.de/manual}
  }
Copyright © 2023 - All Rights Reserved - Technische Universität München
Website by Matthias Althoff, Niklas Kochdumper, Mark Wetzlinger, and Tobias Ladner