Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to ETAPS 2011, Saarbrücken, Germany, 2011

Martin Fränzle Antonios Tsourdos Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to ETAPS 2011, Saarbrücken, Germany, 2011 Hybrid Autonomous Systems@ETAPS Electronic Notes in Theoretical Computer Science 297 Elsevier 2013 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/297/suppl/C db/journals/entcs/entcs297.html