Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Main Authors: | , |
---|---|
Format: | Conference item |
Published: |
Springer
2014
|
_version_ | 1797085851774091264 |
---|---|
author | Jovanović, A Kwiatkowska, M |
author_facet | Jovanović, A Kwiatkowska, M |
author_sort | Jovanović, A |
collection | OXFORD |
description | |
first_indexed | 2024-03-07T02:13:47Z |
format | Conference item |
id | oxford-uuid:a18a29b8-44b1-420c-a751-01cfc359e081 |
institution | University of Oxford |
last_indexed | 2024-03-07T02:13:47Z |
publishDate | 2014 |
publisher | Springer |
record_format | dspace |
spelling | oxford-uuid:a18a29b8-44b1-420c-a751-01cfc359e0812022-03-27T02:13:53ZParameter Synthesis for Probabilistic Timed Automata Using Stochastic Game AbstractionsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:a18a29b8-44b1-420c-a751-01cfc359e081Department of Computer ScienceSpringer2014Jovanović, AKwiatkowska, M |
spellingShingle | Jovanović, A Kwiatkowska, M Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions |
title | Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions |
title_full | Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions |
title_fullStr | Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions |
title_full_unstemmed | Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions |
title_short | Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions |
title_sort | parameter synthesis for probabilistic timed automata using stochastic game abstractions |
work_keys_str_mv | AT jovanovica parametersynthesisforprobabilistictimedautomatausingstochasticgameabstractions AT kwiatkowskam parametersynthesisforprobabilistictimedautomatausingstochasticgameabstractions |