Tree rules in probabilistic transition system specifications with negative and quantitative premises

Autor: Pedro R. D'Argenio, Matias David Lee, Daniel Gebler

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 89, Iss Proc. EXPRESS/SOS 2012, Pp 115-130 (2012)

Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a co

Externí odkaz: https://doaj.org/article/b4ec487e76394b41971b6618b4aaced7

Preface to the special issue on Open Problems in Concurrency Theory

Autor: Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova

Publikováno v: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100823. ⟨10.1016/j.jlamp.2022.100823⟩

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4123f2d901c084590b75859cb10c4e4b
https://inria.hal.science/hal-03970947

Playing Against Fair Adversaries in Stochastic Games with Total Rewards

Autor: Pablo F. Castro, Pedro R. D’Argenio, Ramiro Demasi, Luciano Putruele

Publikováno v: Computer Aided Verification ISBN: 9783031131875

We investigate zero-sum turn-based two-player stochastic games in which the objective of one player is to maximize the amount of rewards obtained during a play, while the other aims at minimizing it. We focus on games in which the minimizer plays in

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::07d84c75716df3ad81e17ec9f3511fa5
https://doi.org/10.1007/978-3-031-13188-2_3

Analysis of non-Markovian repairable fault trees through rare event simulation

Autor: Carlos E. Budde, Pedro R. D’Argenio, Raúl E. Monti, Mariëlle Stoelinga

Publikováno v: International Journal on Software Tools for Technology Transfer, 24, 5, pp. 821-841
International Journal on Software Tools for Technology Transfer, 24, 821-841
International journal on software tools for technology transfer, 24(5), 821-841. Springer

Dynamic fault trees (DFTs) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using Monte Carlo simulation. A bottl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a1fa4e6316a5c62dadab58b00b69199
https://repository.ubn.ru.nl/handle/2066/284384

Lightweight Statistical Model Checking in Nondeterministic Continuous Time

Autor: Arnd Hartmanns, Pedro R. D’Argenio, Sean Sedwards

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation. Verification ISBN: 9783030034207
ISoLA (2)
Leveraging Applications of Formal Methods, Verification and Validation. Verification-8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), 11245, 336-353
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Verification

Lightweight scheduler sampling brings statistical model checking to nondeterministic formalisms with undiscounted properties, in constant memory. Its direct application to continuous-time models is rendered ineffective by their dense concrete state s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0565b5b24d993ca1866ac6c833b1c01
https://doi.org/10.1007/978-3-030-03421-4_22