Bastien Maubert
Titel
Geciteerd door
Geciteerd door
Jaar
Strategy logic with imperfect information
R Berthon, B Maubert, A Murano, S Rubin, MY Vardi
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
532017
Decidability results for ATL* with imperfect information and perfect recall
R Berthon, B Maubert, A Murano
arXiv preprint arXiv:1805.12582, 2018
252018
On the Impact of Modal Depth in Epistemic Planning.
T Charrier, B Maubert, F Schwarzentruber
IJCAI, 1030-1036, 2016
212016
Uniform strategies, rational relations and jumping automata
L Bozzelli, B Maubert, S Pinchinat
Information and Computation 242, 80-107, 2015
202015
Relating paths in transition systems: The fall of the modal mu-calculus
C Dima, B Maubert, S Pinchinat
International Symposium on Mathematical Foundations of Computer Science, 179-191, 2015
162015
Automata techniques for epistemic protocol synthesis
G Aucher, B Maubert, S Pinchinat
arXiv preprint arXiv:1404.0844, 2014
152014
Logical foundations of games with imperfect information: uniform strategies
B Maubert
142014
Generalized DEL-sequents
G Aucher, B Maubert, F Schwarzentruber
European Workshop on Logics in Artificial Intelligence, 54-66, 2012
142012
Reasoning about knowledge and strategies under hierarchical information
B Maubert, A Murano
Sixteenth International Conference on Principles of Knowledge Representationá…, 2018
122018
Unifying hyper and epistemic temporal logics
L Bozzelli, B Maubert, S Pinchinat
International Conference on Foundations of Software Science and Computationá…, 2015
122015
Reasoning about knowledge and messages in asynchronous multi-agent systems
S Knight, B Maubert, F Schwarzentruber
Mathematical Structures in Computer Science 29 (1), 127-168, 2019
112019
A general notion of uniform strategies
B Maubert, S Pinchinat
International Game Theory Review 16 (01), 1440004, 2014
92014
Opacity issues in games with imperfect information
B Maubert, S Pinchinat, L Bozzelli
arXiv preprint arXiv:1106.1233, 2011
92011
Jumping automata for uniform strategies
B Maubert, S Pinchinat
IARCS Annual Conference on Foundations of Software Technology andá…, 2013
82013
Dealing with imperfect information in strategy logic
S Knight, B Maubert
arXiv preprint arXiv:1908.02488, 2019
62019
Reachability games in dynamic epistemic logic
B Maubert, S Pinchinat, F Schwarzentruber
arXiv preprint arXiv:1905.12422, 2019
52019
Asynchronous announcements in a public channel
S Knight, B Maubert, F Schwarzentruber
International Colloquium on Theoretical Aspects of Computing, 272-289, 2015
52015
Tableau method and NEXPTIME-completeness of DEL-sequents
G Aucher, B Maubert, F Schwarzentruber
Electronic Notes in Theoretical Computer Science 278, 17-30, 2011
52011
Probabilistic Strategy Logic.
B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin
IJCAI, 32-38, 2019
42019
Quantifying bounds in strategy logic
N Fijalkow, B Maubert, A Murano, S Rubin
CSL 23, 2018
42018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20