×

Found 52 Documents (Results 1–52)

Newest Citations Relevance
Van Huijgevoort, Birgit; Schön, Oliver; Soudjani, Sadegh; Haesaert, Sofie

SySCoRe: synthesis via stochastic coupling relations. (English) Zbl 07807954

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
Cite Review PDF
Full Text: DOI arXiv
Fu, Hao; Li, Jian; Xu, Pan

A PTAS for a class of stochastic dynamic programs. (English) Zbl 1503.90086

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 56, 14 p. (2018).
MSC:  90C15 90C39 90C59 68W25
Cite Review PDF
Full Text: DOI arXiv
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak

Dynamic Bayesian networks as formal abstractions of structured stochastic processes. (English) Zbl 1374.68301

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 169-183 (2015).
MSC:  68Q60 60J05 60J10 68Q85 68Q87
Cite Review PDF
Full Text: DOI
Lesser, Kendra; Oishi, Meeko

Finite state approximation for verification of partially observable stochastic hybrid systems. (English) Zbl 1364.93382

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). 159-168 (2015).
MSC:  93C30 93E03 90C40 90C39 68Q60 93B07
Cite Review PDF
Full Text: DOI
Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann

Extending propositional dynamic logic for Petri nets. (English) Zbl 1335.68175

Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 67-83, electronic only (2014).
MSC:  68Q85 03B45 03B70 68N30 68Q17 68Q60
Cite Review PDF
Full Text: DOI
Kamgarpour, Maryam; Summers, Sean; Lygeros, John

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).
MSC:  93B50 68Q45 68Q60 90C39 93B03 93C30 93C55 93E03
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software