Search filters

List of works by François Schwarzentruber

Announcements to Attentive Agents

scientific article published on 18 December 2015

Formula Synthesis in Propositional Dynamic Logic with Shuffle

scientific article published in 2022

Knowledge-Based Policies for Qualitative Decentralized POMDPs

scientific article published on 24 June 2022

Knowledge-based programs as succinct policies for partially observable domains

scientific article published on 14 August 2020

LotrecScheme

scientific article published on 31 October 2011

Tableau Method and NEXPTIME-Completeness of DEL-Sequents

scientific article published on 31 October 2011

Paulina is supported by:

About Paulina

Help