Efficient simulation-based verification of probabilistic timed automata

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Arnd Hartmanns, Sean Sedwards, Pedro R. D'Argenio

Journal title: 2017 Winter Simulation Conference (WSC)

Journal publisher: IEEE

Published year: 2017

Published pages: 1419-1430

DOI identifier: 10.1109/wsc.2017.8247885

ISBN: 978-1-5386-3428-8