Hybrid Multi-Lane Spatial Logic. Linker, S. Archive of Formal Proofs, 2017. [Verifiable Autonomy, S4]
Hybrid Multi-Lane Spatial Logic [link]Paper  bibtex   
@article{Linker17,
  author    = {Sven Linker},
  title     = {Hybrid Multi-Lane Spatial Logic},
  journal   = {Archive of Formal Proofs},
  year      = {2017},
  url       = {https://www.isa-afp.org/entries/Hybrid\_Multi\_Lane\_Spatial\_Logic.html},
  note = {[<span class="va">Verifiable Autonomy</span>, <span class="s4">S4</span>]}
}

Downloads: 0