Login / Signup
Redouane Bouchekir
ORCID
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 3
Top Topics
Continuous State Spaces
Macro Actions
Real Time Dynamic Programming
Reinforcement Learning
Top Venues
Innov. Syst. Softw. Eng.
SIMULTECH
VECoS
</>
Publications
</>
Redouane Bouchekir
,
Mohand Cherif Boukala
Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process.
Innov. Syst. Softw. Eng.
14 (3) (2018)
Redouane Bouchekir
,
Mohand Cherif Boukala
Toward Implicit Learning for the Compositional Verification of Markov Decision Processes.
VECoS
(2018)
Redouane Bouchekir
,
Saïda Boukhedouma
,
Mohand Cherif Boukala
Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes.
SIMULTECH
(2016)