Guillaume Aucher and Bastien Maubert - Free people check

(1 - 9 from 9

)

On the impact of modal depth in epistemic planning - ACM ...

dl.acm.org

by T Charrier · · Cited by 26 — Guillaume Aucher and François Schwarzentruber. On the complexity of dynamic epistemic logic Guillaume Aucher, Bastien Maubert, and Sophie Pinchinat. › doi

[ v1] Automata Techniques for Epistemic Protocol Synthesis

arxiv.org

Apr 03, · Title: Automata Techniques for Epistemic Protocol Synthesis. Authors: Guillaume Aucher, Bastien Maubert, Sophie Pinchinat (Submitted on 3 Apr …

[ ] Automata Techniques for Epistemic Protocol Synthesis

arxiv.org

Authors: Guillaume Aucher, Bastien Maubert, Sophie Pinchinat. (Submitted on 3 Apr 2014). Abstract: In this work we aim at applying automata techniques to ...

Electronic Notes in Theoretical Computer Science

www.sciencedirect.com

Nov 3, — Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Pages : Download PDF. Article preview. select article Two-sorted ... › journal › vol › suppl

All web results to the name "Guillaume Aucher"

Automata Techniques for Epistemic Protocol Synthesis - DOI

doi.org

Apr 3, — Title:Automata Techniques for Epistemic Protocol Synthesis. Authors:Guillaume Aucher, Bastien Maubert, Sophie Pinchinat. › EPTCS

Publications - Bastien Maubert

www.bastien-maubert.fr

Dietmar Berwanger, Thomas Bolander and Catalin Dima (examiners) Sophie Pinchinat (advisor) and Guillaume Aucher (co-advisor) ... › publications

Bastien Maubert's home page

www.bastien-maubert.fr

Bastien Maubert first name [DOT ... in the team LogicA at IRISA, under the supervision of Sophie Pinchinat and Guillaume Aucher. I was until recently a CNRS ...

AiML 2012

hylocore.ruc.dk

13:00–14:00, Lunch. Short talks: 14:00–15:30, Generalized DEL-sequents. Guillaume Aucher, Bastien Maubert and François Schwarzentruber

7th workshop Methods for Modalities

personal.us.es

... Guillaume Aucher, Bastien Maubert and François Schwarzentruber, Tableau Method and NEXPTIME-Completeness of DEL-Sequents; John Mccabe-Dansted ...

Related search requests for Guillaume Aucher

François Schwarzentruber
Paul Sabatier
Davide Grossi

People
Forename "Guillaume" (8909)
Name "Aucher" (18)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Guillaume Aucher and Bastien Maubert Free People Check