The logical path to autonomous cyber-physical systems

@inproceedings{DBLP:conf/qest/Platzer19,
	pdf = {pub/lpacps.pdf},
	slides = {pub/lpacps-slides.pdf},
	author = {['André Platzer']},
	title = {The Logical Path to Autonomous Cyber-Physical Systems},
	booktitle = {QEST},
	pages = {25-33},
	year = {2019},
	doi = {10.1007/978-3-030-30281-8_2},
	editor = {['David Parker', 'Verena Wolf']},
	longbooktitle = {International Conference on
               Quantitative Evaluation of
               SysTems, QEST, Proceedings},
	series = {LNCS},
	volume = {11785},
	publisher = {Springer}
}