QEST'21: the International Conference on Quantitative Evaluation of SysTems

Event name

Event type

Event for scientific audience

Start date

23-08-2021

End date

27-08-2021

Country

Event format Veranstaltungsformat

Online

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Pilch, Carina ; Schupp, Stefan ; Remke, Anne	Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction	Konferenzbeitrag Inproceedings	2021