Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System release_ezbymoctsbaqrlknzq63tlss4y

by Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot

Published in Electronic Proceedings in Theoretical Computer Science by Open Publishing Association.

2017   Volume 257, p91-104

Archived Files and Locations

application/pdf  882.4 kB
file_6mnfezjbprgwxpaxddvpaeoqdy
hal.archives-ouvertes.fr (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2017-09-07
Language   en ?
Proceedings Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:  2075-2180
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: f2a2f742-abb8-4f3e-b8dd-3708d282de80
API URL: JSON