Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Jezequel, Loïg"'
Publikováno v:
In Information and Computation February 2022 283
Publikováno v:
EPTCS 220, 2016
This volume contains the joint proceedings of the Workshop on Games for the Synthesis of Complex Systems (CASSTING'16) and of the 3rd International Workshop on Synthesis of Complex Parameters (SynCoP'16). The workshops were held in Eindhoven, The Net
Externí odkaz:
http://arxiv.org/abs/1608.00177
Autor:
Jezequel, Loïg
La planification est un domaine de l'intelligence artificielle qui a pour but de proposer des méthodes permettant d'automatiser la recherche et l'ordonnancement d'ensembles d'actions afin d'atteindre un objectif donné. Un ensemble ordonné d'action
Externí odkaz:
http://www.theses.fr/2012DENS0059/document
We study the following summarization problem: given a parallel composition A=A1||...||An of labelled transition systems communicating with the environment through a distinguished component Ai, efficiently compute a summary Si such that E||A and E||Si
Externí odkaz:
http://arxiv.org/abs/1310.2143
Publikováno v:
In IFAC PapersOnLine 2018 51(7):106-111
Autor:
Jezequel, Loïg, Fabre, Éric
Publikováno v:
In IFAC Proceedings Volumes January 2011 44(1):7012-7017
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.
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.