Advanced search    

Search: authors:"Bastien Maubert"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Quantifying Bounds in Strategy Logic

://orcid.org/0000-0002-9081-2920 2 Bastien Maubert 3 CNRS, LaBRI, Bordeaux, France Alan Turing Institute of data science , London , United Kingdom https ://orcid. org/0000-0002-6576-4680 4 NathanaeĢˆl Fijalkow 5 ... Bastien Maubert. Dealing with imperfect information in strategy logic. In SR, 2015. Denis Kuperberg. Linear temporal logic for regular cost functions. Logical Methods in Computer Science, 10(1), 2014