Document Search Results

from until

Sorting

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid

Automated verification and synthesis of stochastic hybrid systems: a survey. (English) Zbl 1504.93389

Automatica 146, Article ID 110617, 40 p. (2022).

MSC: 93E12 93C30 93C55 90C40 93-02

Cite Review PDF

Full Text: DOI arXiv

Junges, Sebastian; Jansen, Nils; Katoen, Joost-Pieter; Topcu, Ufuk; Zhang, Ruohan; Hayhoe, Mary

Model checking for safe navigation among humans. (English) Zbl 1514.68136

McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 207-222 (2018).

MSC: 68Q60 68T05 68T42 90C40 93A16 93C85

Cite Review PDF

Full Text: DOI

Filter Results by …

Document Type

Journal Articles (1)
Collection Articles (1)

all top 5

Author

Year of Publication

2022 (1)
2018 (1)

Main Field

90-XX (2)
93-XX (2)
68-XX (1)

all top 3