×

Found 31 Documents (Results 1–31)

100
MathJax

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 31, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Poster abstract: StocHy – automated verification and synthesis of stochastic processes. (English) Zbl 07120162

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 258-259 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. (English) Zbl 07120160

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 240-251 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis. (English) Zbl 1392.68225

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 9, 15 p. (2016).
MSC:  68Q60 68Q87 91A43
PDF BibTeX XML Cite
Full Text: DOI arXiv

Model checking and strategy synthesis for stochastic games: from theory to practice (invited talk). (English) Zbl 1388.68186

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 4, 18 p. (2016).
MSC:  68Q60 03B44 91A15
PDF BibTeX XML Cite
Full Text: DOI

High-quality synthesis against stochastic environments. (English) Zbl 1369.68256

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 28, 17 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Cross-entropy temporal logic motion planning. (English) Zbl 1366.68178

Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 269-278 (2015).
MSC:  68Q60 68T20 90C15
PDF BibTeX XML Cite
Full Text: DOI Link

Control design for specifications on stochastic hybrid systems. (English) Zbl 1364.93263

Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 303-312 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. (English) Zbl 1362.68189

Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 293-302 (2013).
PDF BibTeX XML Cite
Full Text: DOI

About one problem of conflict control with incomplete retarded information. (Russian, English) Zbl 1242.49084

Mat. Teor. Igr Prilozh. 3, No. 2, 18-36 (2011); translation in Autom. Remote Control 75, No. 10, 1837-1847 (2014).
MSC:  49N70 93E20 93C41 93E25 90C15
PDF BibTeX XML Cite
Full Text: MNR

Random fruits on the zielonka tree. (English) Zbl 1236.91025

Albers, Susanne (ed.) et al., STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-09-5). LIPIcs – Leibniz International Proceedings in Informatics 3, 541-552, electronic only (2009).
MSC:  91A15 68Q60
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

all top 3

Software