Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Anicet Bart"'
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2018, 747, pp.48-74. ⟨10.1016/j.tcs.2018.06.016⟩
Theoretical Computer Science, Elsevier, 2018, 747, pp.48-74. ⟨10.1016/j.tcs.2018.06.016⟩
Parametric Interval Markov Chains (pIMCs) are a specification formalism that extend Markov Chains (MCs) and Interval Markov Chains (IMCs) by taking into account imprecision in the transition probability values: transitions in pIMCs are labelled with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0bfee5faf1125b1d4c7de85d0fa54bb
https://doi.org/10.1016/j.tcs.2018.06.016
https://doi.org/10.1016/j.tcs.2018.06.016
Publikováno v:
Constraints
Constraints, Springer Verlag, 2017, 22 (3), pp.463-490. ⟨10.1007/s10601-017-9268-z⟩
Constraints, Springer Verlag, 2017, 22 (3), pp.463-490. ⟨10.1007/s10601-017-9268-z⟩
Formal verification of real time programs, where variables can change values at every time step, is difficult due to the analyses of loops with time lags. In this paper, we propose a constraint programming model together with a global constraint and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1518ea42b19824c289073906017a5299
https://doi.org/10.1007/s10601-017-9268-z
https://doi.org/10.1007/s10601-017-9268-z
Publikováno v:
Quantitative Evaluation of Systems ISBN: 9783319663340
QEST
14th International Conference on Quantitative Evaluation of SysTems
14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527-189, ⟨10.1007/978-3-319-66335-7_11⟩
QEST
14th International Conference on Quantitative Evaluation of SysTems
14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527-189, ⟨10.1007/978-3-319-66335-7_11⟩
International audience; Parametric Interval Markov Chains (pIMCs) are a specification formalism that extend Markov Chains (MCs) and Interval Markov Chains (IMCs) by taking into account imprecision in the transition probability values: transitions in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53080ad1c6743df8afb3994cff391085
https://doi.org/10.1007/978-3-319-66335-7_11
https://doi.org/10.1007/978-3-319-66335-7_11
Publikováno v:
22nd European Conference on Artificial Intelligence (ECAI'16)
22nd European Conference on Artificial Intelligence (ECAI'16), 2016, La Hague, Netherlands. pp.613-621
HAL
22nd European Conference on Artificial Intelligence (ECAI'16), 2016, La Hague, Netherlands. pp.613-621
HAL
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b3b10f4e14c43f0ed8c6c3f26c518128
https://hal-univ-artois.archives-ouvertes.fr/hal-03300748
https://hal-univ-artois.archives-ouvertes.fr/hal-03300748
Publikováno v:
21st European Conference on Artificial Intelligence (ECAI'14)
21st European Conference on Artificial Intelligence (ECAI'14), 2014, Prague, Czech Republic. pp.51-56
HAL
21st European Conference on Artificial Intelligence (ECAI'14), 2014, Prague, Czech Republic. pp.51-56
HAL
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa899e6402b30e90a8ff1b67e64cbeeb
https://hal-univ-artois.archives-ouvertes.fr/hal-03300750
https://hal-univ-artois.archives-ouvertes.fr/hal-03300750