Robert P. Goldman et al.: A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. (2016)conf/nfm/GoldmanBPMB1610.1007/978-3-319-40648-0_29A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.5Robert P. Goldman1Daniel Bryce2Michael J. S. Pelican3David J. Musliner4Kyungmin Bae5388-394NFMNFM20162016provenance information for RDF data of dblp record 'conf/nfm/GoldmanBPMB16'2017-05-25T00:40:09+0200