The following pages link to Bastien Maubert (Q2346406):
Displayed 19 items.
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- Asynchronous Announcements in a Public Channel (Q2787430) (← links)
- Tableau Method and NEXPTIME-Completeness of DEL-Sequents (Q2825404) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
- Unifying Hyper and Epistemic Temporal Logics (Q2949438) (← links)
- (Q2963921) (← links)
- (Q3388751) (← links)
- Games with Opacity Condition (Q3646261) (← links)
- Reasoning about knowledge and messages in asynchronous multi-agent systems (Q4559603) (← links)
- Relating Paths in Transition Systems (Q4691742) (← links)
- (Q4964721) (← links)
- (Q4994896) (← links)
- (Q4999223) (← links)
- (Q5079747) (← links)
- (Q5144683) (← links)
- A GENERAL NOTION OF UNIFORM STRATEGIES (Q5406294) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- Reasoning about Quality and Fuzziness of Strategic Behaviors (Q6116358) (← links)