P. Madhusudan (Selection)

Parthasarathy Madhusudan

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

15 Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit: Timed Control with Partial Observability. CAV 2003: 180-192

7 Deepak D'Souza, P. Madhusudan: Timed Control Synthesis for External Specifications. STACS 2002: 571-582

Selection of 2 from 68 records - P. Madhusudan has 45 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

15		Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit: Timed Control with Partial Observability. CAV 2003: 180-192
7		Deepak D'Souza, P. Madhusudan: Timed Control Synthesis for External Specifications. STACS 2002: 571-582