Mechanism Design and Truthful Algorithms Ocan SankurOcan Sankur (ULB)

Source URL: www.lsv.ens-cachan.fr

One-Counter Automata with Counter Visibility Benedikt Bollig arXiv:1602.05940v1 [cs.FL] 18 FebLSV, ENS Cachan, CNRS, Inria, Université Paris-Saclay, France

Source URL: arxiv.org

Graph games with perfect information Dietmar Berwanger∗ MPRI

Source URL: www.lsv.ens-cachan.fr

• Game theory
• Finite model theory
• Parity game
• Determinacy
• Reachability

Patricia BOUYER-DECITRE Office: LSV – CNRS & ENS de Cachan 61, avenue du Pr´esident WilsonCachan – France Tel: +41 Fax: +21

Source URL: www.lsv.ens-cachan.fr

• Theoretical computer science
• Engineering
• Electrical engineering
• Formal methods
• Grandes coles
• Rajeev Alur
• Model checking
• Formal verification
• Cachan
• cole Normale Suprieure
• Ens
• Computer Aided Verification

Weighted Automata — Version of February 7, 2011 — Benedikt Bollig and Marc Zeitoun LSV, ENS Cachan, CNRS E-mail address: {bollig,mz}@lsv.ens-cachan.fr

Source URL: www.cmi.ac.in

First-order logic with reachability for infinite-state systems Emanuele D’Osualdo Georg Zetzsche ∗ Roland Meyer

Source URL: www.lsv.ens-cachan.fr

Robust Weighted Timed Automata and Games Ocan Sankur Universit´e Libre de Bruxelles Joint with Patricia Bouyer, Nicolas Markey ENS Cachan & CNRS

Source URL: www.ulb.ac.be

Infinite games with finite knowledge gaps Dietmar Berwangera , Anup Basil Mathewa,b a LSV, CNRS & ENS Cachan, Universit´ e Paris-Saclay, France

Source URL: lsv.fr

• Game theory
• Determinacy
• Common knowledge
• Natural deduction

LAVOISIER 14 rue de Provigny — 94236 Cachan, France Tel — Faxe-mail : site web :www.Lavoisier.fr Accord de cession de droits

Source URL: lcn.revuesonline.com

Automata and Logics for Concurrent Systems: Five Models in Five Pages? Benedikt Bollig LSV, ENS Cachan, CNRS & Inria

Source URL: www.lsv.ens-cachan.fr