Zobrazeno 1 - 10
of 18
pro vyhledávání: '"David, Amélie"'
Autor:
David, Amélie
Dans cette thèse, nous essayons de fournir des outils automatisés pour élaborer des systèmes ouverts sûrs. Les systèmes ouverts, qui peuvent être vus comme des systèmes multi-agents, peuvent être spécifiés en ATL. La logique ATL a été in
Externí odkaz:
http://www.theses.fr/2015SACLE020
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IJCAR 2014, Springer LNCS 8562. pp. 277-291, 2014
We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the full Alternating time temporal logic ATL*. The method extends in an esse
Externí odkaz:
http://arxiv.org/abs/1407.4645
Publikováno v:
26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Oct 2019, Malage, Spain. pp.131--135, ⟨10.4230/LIPIcs.TIME.2019.13⟩
26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Oct 2019, Malage, Spain. pp.131--135, ⟨10.4230/LIPIcs.TIME.2019.13⟩
International audience; We study the problem of minimisation of a given finite pointed Kripke model satisfying a given CTL formula, with the only objective to preserve the satisfaction of that formula in the resulting reduced model. We consider minim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdbb946167467105330e27cc5ea4bfd5
https://hal.science/hal-02333575
https://hal.science/hal-02333575
Autor:
David, Amélie
Publikováno v:
Sciences du Vivant [q-bio]. 2019
CONTEXTE : Depuis octobre 2017, des pictogrammes grossesse « CE MÉDICAMENT + GROSSESSE = DANGER » ou « CE MÉDICAMENT + GROSSESSE = INTERDIT » sont apposés sur le conditionnement extérieur des médicaments pouvant avoir un effet tératogène o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c87f3dbd2fb5e6549edd94569eeb2e21
https://dumas.ccsd.cnrs.fr/dumas-02409023/document
https://dumas.ccsd.cnrs.fr/dumas-02409023/document
QCTL extends the temporal logic CTL with quantification over atomic propositions. While the algorithmic questions for QCTL and its fragments with limited quantification depth are well-understood (e.g. satisfiability of QkCTL, with at most k nested bl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5647f0bd1cf4ea03dd08b946d521787d
Autor:
David, Amélie
Publikováno v:
Computation and Language [cs.CL]. Université Paris-Saclay; Université d'Evry-Val-d'Essonne, 2015. English. ⟨NNT : 2015SACLE020⟩
In this thesis, we try to provide automated tools to design safe open systems. Open systems, which can be viewed as multi-agent systems, may be specified in ATL. The logic ATL has been especially introduced for that purpose. There exist two relevant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::859ad1aaed723105d4de6262f9b57fb7
https://hal.archives-ouvertes.fr/tel-01764394/file/TheseAjourAmelie.pdf
https://hal.archives-ouvertes.fr/tel-01764394/file/TheseAjourAmelie.pdf
Autor:
David, Amélie
Publikováno v:
25th International Conference on Automated Deduction (CADE 2015)
25th International Conference on Automated Deduction (CADE 2015), Aug 2015, Berlin, Germany. pp.214--228, ⟨10.1007/978-3-319-21401-6_14⟩
25th International Conference on Automated Deduction (CADE 2015), Aug 2015, Berlin, Germany. pp.214--228, ⟨10.1007/978-3-319-21401-6_14⟩
International audience; We propose a tableau-based decision procedure for the full Alternating-time Temporal Logic ATL∗. We extend our procedure for ATL+ in order to deal with nesting of temporal operators. As a side effect, we obtain a new and con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e1df07bc6bb1f2d1fc7cf1aa2dcc05c2
https://hal.archives-ouvertes.fr/hal-01367780
https://hal.archives-ouvertes.fr/hal-01367780