Quantitative Evaluation of Systems - 20th International Conference, QEST 2023

Book title Buchtitel

ISBN

978-3-031-43835-6

Editor Herausgeber_in

Jansen, Nils
Tribastone, Mirco

Publisher Herausgeber

Springer

Place of publishing Erscheinungsort

Cham

Volume Band

14287

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie	Deductive Controller Synthesis for Probabilistic Hyperproperties	Inproceedings Konferenzbeitrag	15-Sep-2023