Author of the publication

Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains.

, , , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 681-686. IOS Press, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Transe: an experimental design tool., , and . Algorithms and Parallel VLSI Architectures, page 299-304. Elsevier, (1991)Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires., , , and . Technique et Science Informatiques, 23 (9): 1187-1217 (2004)Efficiency and Sequenceability in Fair Division of Indivisible Goods with Additive Preferences., and . CoRR, (2016)Exploiting a Common Property Resource under a Fairness Constraint: a Case Study., , and . IJCAI, page 206-211. Morgan Kaufmann, (1999)The Language of SYNTEX-2, an Implemented Relational-like DBMS., , and . Jerusalem Conference on Information Technology, page 171-175. North-Holland, (1978)Constraint-based modeling of discrete event dynamic systems., , and . J. Intell. Manuf., 21 (1): 31-47 (2010)Transe: An Experimental Transformation Assistant for Digital Circuit Design., , and . Designing Correct Circuits, volume A-5 of IFIP Transactions, page 103-118. North-Holland, (1992)LF: langage de spécification de fonctions et de types de données en logique., , and . SPLT, (1982)Allocation of indivisible goods: a general model and some complexity results., , , and . AAMAS, page 1309-1310. ACM, (2005)Mechanisms for Efficient Multiprocessor Combinator Reduction., , , , and . LISP and Functional Programming, page 113-121. ACM, (1986)