Publications

file

Formal Synthesis of Discrete Control Logic for Safe Transportation Systems

Submitted by Stephane Lafortune on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Submitted by sandeepkulkarni on Thu, 02/20/2014 - 12:06pm. Contributor:

file

Submitted by WarrenAHuntJr on Thu, 02/20/2014 - 12:06pm. Contributor:

file

Submitted by Xenofon Koutsoukos on Thu, 02/20/2014 - 12:06pm. Contributor:

file

Submitted by pkoopman on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Submitted by C.Mani Krishna on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Submitted by Marco Gruteser on Thu, 02/20/2014 - 12:06pm. Contributor:

file

Submitted by dijiang on Thu, 02/20/2014 - 12:06pm. Contributor:

file

Submitted by Shuo Han on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Submitted by Paul Green on Thu, 02/20/2014 - 12:06pm. Contributor: