Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.

Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, Csar A. Muoz

Browse the full FM paper archive.