×

Found 19 Documents (Results 1–19)

Game-based synthesis of distributed controllers for sampled switched systems. (English) Zbl 1429.93105

André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 48-62 (2015).
MSC:  93B50 93C30
PDFBibTeX XMLCite
Full Text: DOI

Minimum attention controller synthesis for omega-regular objectives. (English) Zbl 1348.68096

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 145-159 (2011).
MSC:  68Q45 91A80
PDFBibTeX XMLCite
Full Text: DOI

Compositional control synthesis for partially observable systems. (English) Zbl 1254.93075

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 431-447 (2009).
MSC:  93B50
PDFBibTeX XMLCite
Full Text: DOI Link

The effect of tossing coins in omega-automata. (English) Zbl 1254.68142

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 15-29 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Computing weakest strategies for safety games of imperfect information. (English) Zbl 1234.68259

Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 92-106 (2009).
MSC:  68Q60 91A80
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic acceptors for languages over infinite words. (English) Zbl 1206.68167

Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 19-33 (2009).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Timed control with observation based and stuttering invariant strategies. (English) Zbl 1141.68428

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 192-206 (2007).
MSC:  68Q45 91A80 93B50
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software