D’Souza, Deepak; Gopinathan, Madhu Conflict-tolerant features. (English) Zbl 1155.68432 Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 227-239 (2008). MSC: 68Q60 68Q85 93C65 93C95 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{M. Gopinathan}, Lect. Notes Comput. Sci. 5123, 227--239 (2008; Zbl 1155.68432) Full Text: DOI
Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine Timed control with partial observability. (English) Zbl 1278.68160 Hunt, Warren A.jun. (ed.) et al., Computer aided verification. 15th international conference, CAV 2003, Boulder, CO, USA, July 8–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40524-0/pbk). Lect. Notes Comput. Sci. 2725, 180-192 (2003). MSC: 68Q60 93B50 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 2725, 180--192 (2003; Zbl 1278.68160) Full Text: DOI
D’Souza, Deepak; Madhusudan, P. Timed control synthesis for external specifications. (English) Zbl 1054.93502 Alt, Helmut (ed.) et al., STACS 2002. 19th annual symposium on theoretical aspects of computer science. Antibes - Juan les Pins, France, March 14–16, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43283-3). Lect. Notes Comput. Sci. 2285, 571-582 (2002). MSC: 93B50 68Q45 68Q60 PDFBibTeX XMLCite \textit{D. D'Souza} and \textit{P. Madhusudan}, Lect. Notes Comput. Sci. 2285, 571--582 (2002; Zbl 1054.93502) Full Text: Link