layout page title Publications <script src="https://bibbase.org/show?bib=https://autonomy-and-verification-uol.github.io/pubs.bib&jsonp=1&group0=year"></script>