Automated Symbolic Reachability Analysis with Application to Delta-Notch Signaling Automata

Ashish Tiwari

To be presented at HSCC 2003, Prague, Czech Republic, Apr 03--05 2002, Springer-Verlag.

Abstract

Later.

pdf

BibTeX Entry


@inproceedings{GhoshTiwariTomlin03:HSCC,
	TITLE = "Automated Symbolic Reachability Analysis with Application to Delta-Notch Signaling Automata",
	AUTHOR = {Ghosh, R. and Tiwari, A. and Tomlin, C.},
	BOOKTITLE = {Hybrid Systems: Computation and Control HSCC},
	EDITOR = "Maler, O. and Pnueli, A.",
	PAGES = {233--248},
	PUBLISHER = {Springer},
	SERIES = {LNCS},
	VOLUME = "2623",
	MONTH = apr,
	YEAR = 2003
}


Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page