Edit Paper: An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis

From Murray Wiki
Jump to navigationJump to search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

Warning: This page already exists, but it does not use this form.

Enter the information required for the paper. Required information is marked with a *.

Title*:
Authors*:
Source*:
Abstract*:
URL:
Type:
ID:
Tag:
Funding:
DOI:
Flags:

Cancel

Retrieved from "https://murray.cds.caltech.edu/An_Iterative_Abstraction_Algorithm_for_Reactive_Correct-by-Construction_Controller_Synthesis"