TY - RPRT TI - Proceedings Third International Workshop on Hybrid Autonomous Systems AU - Luca Bortolussi AU - Manuela L. Bujorianu AU - Giordano Pola PY - 2013 DO - 10.4204/eptcs.124 UR - https://arxiv.org/abs/1308.4904 ID - 1308.4904 ER -