Bastien Maubert

From MaRDI portal
Person:2346406

Available identifiers

zbMath Open maubert.bastienMaRDI QIDQ2346406

List of research outcomes





PublicationDate of PublicationType
On the complexity of model checking knowledge and time2024-04-26Paper
Reasoning about Quality and Fuzziness of Strategic Behaviors2023-07-18Paper
Quantifying Bounds in Strategy Logic2022-05-28Paper
Copy and remove as dynamic operators2022-03-03Paper
https://portal.mardi4nfdi.de/entity/Q49992232021-07-06Paper
https://portal.mardi4nfdi.de/entity/Q49948962021-06-22Paper
https://portal.mardi4nfdi.de/entity/Q33887512021-05-06Paper
https://portal.mardi4nfdi.de/entity/Q49647212021-03-03Paper
https://portal.mardi4nfdi.de/entity/Q51446832021-01-19Paper
Reasoning about knowledge and messages in asynchronous multi-agent systems2018-12-04Paper
Relating Paths in Transition Systems2018-10-24Paper
Jumping Automata for Uniform Strategies2017-02-21Paper
Tableau method and NEXPTIME-completeness of DEL-sequents2016-10-07Paper
Asynchronous Announcements in a Public Channel2016-02-25Paper
Unifying Hyper and Epistemic Temporal Logics2015-10-01Paper
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus2015-09-16Paper
Uniform strategies, rational relations and jumping automata2015-06-01Paper
A GENERAL NOTION OF UNIFORM STRATEGIES2014-04-01Paper
Generalized DEL-Sequents2012-09-21Paper
Games with Opacity Condition2009-11-19Paper

Research outcomes over time

This page was built for person: Bastien Maubert

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2346406&oldid=6870882"
Powered by MediaWiki