Bastien Maubert
Titel
Citeras av
Citeras av
År
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
642017
Decidability results for ATL* with imperfect information and perfect recall
R Berthon, B Maubert, A Murano
arXiv preprint arXiv:1805.12582, 2018
282018
Unifying hyper and epistemic temporal logics
L Bozzelli, B Maubert, S Pinchinat
International Conference on Foundations of Software Science and Computation …, 2015
222015
On the Impact of Modal Depth in Epistemic Planning.
T Charrier, B Maubert, F Schwarzentruber
IJCAI, 1030-1036, 2016
202016
Uniform strategies, rational relations and jumping automata
L Bozzelli, B Maubert, S Pinchinat
Information and Computation 242, 80-107, 2015
182015
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
172015
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
162019
Generalized DEL-sequents
G Aucher, B Maubert, F Schwarzentruber
European Workshop on Logics in Artificial Intelligence, 54-66, 2012
162012
Logical foundations of games with imperfect information: uniform strategies
B Maubert
Université Rennes 1, 2014
152014
Reasoning about knowledge and strategies under hierarchical information
B Maubert, A Murano
arXiv preprint arXiv:1806.00028, 2018
132018
Automata techniques for epistemic protocol synthesis
G Aucher, B Maubert, S Pinchinat
arXiv preprint arXiv:1404.0844, 2014
132014
Probabilistic strategy logic
B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin
IJCAI, 2019
92019
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
72019
Reachability games in dynamic epistemic logic
B Maubert, S Pinchinat, F Schwarzentruber
arXiv preprint arXiv:1905.12422, 2019
62019
Quantifying bounds in strategy logic
N Fijalkow, B Maubert, A Murano, S Rubin
CSL 23, 2018
52018
Asynchronous announcements in a public channel
S Knight, B Maubert, F Schwarzentruber
International Colloquium on Theoretical Aspects of Computing, 272-289, 2015
52015
Uniform strategies
B Maubert, S Pinchinat
arXiv preprint arXiv:1212.0526, 2012
52012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20