Refinements of hybrid dynamical systems logic

@INPROCEEDINGS{DBLP:conf/asm/Platzer23,
	slides = {pub/abz23-slides.pdf},

  author    = {Andr{\'{e}} Platzer},
  editor    = {Uwe Gl{\"{a}}sser and
               Jos{\'{e}} Creissac Campos and
			   Dominique M{\'{e}}ry and
               Philippe Palanque},
  title     = {Refinements of Hybrid Dynamical Systems Logic},
  booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
               2023, Nancy, France, Proceedings},
  series    = {LNCS},
  volume    = {14010},
  pages     = {3-14},
  publisher = {Springer},
  year      = {2023},
  doi       = {10.1007/978-3-031-33163-3_1},
}```