Abstraction refinement and plan revision for control synthesis under high level specifications * *This work was supported by the H2020 ERC Starting Grant BUCOPHSYS, the EU H2020 AEROWORKS project, the EU H2020 Co4Robots project, the Swedish Foundation for Strategic Research, the Swedish Research Council and the KAW Foundation

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Pierre-Jean Meyer, Dimos V. Dimarogonas

Journal title: IFAC-PapersOnLine

Journal number: 50/1

Journal publisher: IFAC

Published year: 2017

Published pages: 9254-9259

DOI identifier: 10.1016/j.ifacol.2017.08.1292

ISSN: 2405-8963

Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV