Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Mateusz Ujma"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 2 (2015)
We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due
Externí odkaz:
https://doaj.org/article/6c7b50e9bf3045e1b2956520e3365ecf
Autor:
Nicolas D'Ippolito, Ilias Gerostathopoulos, Konstantinos Angelopoulos, Evangelia Kalyvianaki, Stepan Shevtsov, Andreas B. Hempel, Suprio Ray, Thomas Vogel, Cristian Klein, Alessandro Vittorio Papadopoulos, Antonio Filieri, Pooyan Jamshidi, Amir Molzam Sharifloo, Henry Hoffmann, Martina Maggio, Filip Krikava, Mateusz Ujma, Sasa Misailovic
Publikováno v:
Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2015, Firenze, Italy. pp.71-82
Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2015, Firenze, Italy. pp.71-82
International audience; The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65bea0b17af1339a82c2531f56ab4376
https://inria.hal.science/hal-01119461/document
https://inria.hal.science/hal-01119461/document
Autor:
David Parker, Krishnendu Chatterjee, Vojtěch Forejt, Marta Kwiatkowska, Tomáš Brázdil, Jan Křetínský, Martin Chmelík, Mateusz Ujma
Publikováno v:
Lecture Notes in Computer Science
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
We present a general framework for applying machine-learning algorithms to the verification of Markov decision processes (MDPs). The primary goal of these techniques is to improve performance by avoiding an exhaustive exploration of the state space.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::186c48c41e04350d8c26a198e69eee81
Publikováno v:
Lecture Notes in Computer Science
Runtime Verification ISBN: 9783642356315
RV
Runtime verification
Runtime verification, Sep 2012, Istanbul, Turkey. pp.314-319
Runtime Verification ISBN: 9783642356315
RV
Runtime verification
Runtime verification, Sep 2012, Istanbul, Turkey. pp.314-319
International audience; Probabilistic veri cation techniques have been proposed for runtime analysis of adaptive software systems, with the veri cation results being used to steer the system so that it satis es certain Quality-of-Service requirements
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::772204962ad998ba6e6d4d58fbf8ea80
Publikováno v:
High-order workshop on automated runtime verification and debugging
High-order workshop on automated runtime verification and debugging, Dec 2011, Manchester, United Kingdom
HOWARD-60
High-order workshop on automated runtime verification and debugging, Dec 2011, Manchester, United Kingdom
HOWARD-60
Quantitative verification techniques offer an effective meansof computing performance and reliability properties for a wide range of systems.In many cases, it is necessary to perform repeated analyses of a system,for example to identify trends in res
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11e2b5434cabab99a255c5b41f80ab5f
https://hal.inria.fr/hal-00740112/file/submitted.pdf
https://hal.inria.fr/hal-00740112/file/submitted.pdf