Login / Signup
Adrian Farmadin
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Upper Bound
Critical Path
Program Synthesis
Optimal Solution
Top Venues
CoRR
IFM
</>
Publications
</>
Lubos Korenciak
,
Vojtech Rehák
,
Adrian Farmadin
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.
IFM
(2016)
Lubos Korenciak
,
Vojtech Rehák
,
Adrian Farmadin
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.
CoRR
(2016)