×

Found 3 Documents (Results 1–3)

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: Link

Filter Results by …

Year of Publication

Main Field