Alvaro A. Cardenas on Leilani H. Gilpin https://people.ucsc.edu/~lgilpin/authors/alvaro-a.-cardenas/ Recent content in Alvaro A. Cardenas on Leilani H. Gilpin Academia en-us Copyright &copy; {year} Sun, 01 Jan 2023 00:00:00 +0000 Semi-Automated Synthesis of Driving Rules https://people.ucsc.edu/~lgilpin/publication/semi-automated-synthesis-of-driving-rules-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://people.ucsc.edu/~lgilpin/publication/semi-automated-synthesis-of-driving-rules-2023/ <!-- Generated from research.org and bibliography/publications.bib. -->