Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Baroudi, Djamila"'
Autor:
Baroudi, Djamila, Nait-Bahloul, Safia
Publikováno v:
International Journal of Software Innovation; Apr-Jun2021, Vol. 9 Issue 2, p1-17, 17p
Publikováno v:
Actes PFIA 2017
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017)
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017)
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France
International audience; Ce travail est consacré à la planification dans la gestion de crises, telles que les inondations, les tremblements de terre ou explosions de violences urbaines. L’objectif de ce travail est de générer des plans à partir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::419f8e11dd705a2bbc02464b98f77035
https://hal.archives-ouvertes.fr/hal-03120299
https://hal.archives-ouvertes.fr/hal-03120299
Publikováno v:
AFADL 2016
AFADL 2016, i, Jun 2016, Besançon, France
AFADL 2016, i, Jun 2016, Besançon, France
International audience; Pour faciliter et encadrer l’expression des propriétés formelles, des alternatives auxlogiques temporelles, telles que LTL ou CTL, ont été proposés, au prix de la réductionde l’expressivité. Celles-ci proposent des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1a7f798d9e7bce68613388a2727d2003
https://hal.archives-ouvertes.fr/hal-01326333
https://hal.archives-ouvertes.fr/hal-01326333