Interval-based Synthesis by Angelo Montanari, Pietro Sala

Get full text

Le butin de guerre et la tunique de Nessus: traduire le rapport au français chez Malika Mokeddem et Assia Djebar. by Désirée Schyns

Get full text

A pavilion for Constantin Meunier by architect Gaston Eysselinck (1929) by Marc Dubois

Get full text

Parametric Linear Dynamic Logic by Peter Faymonville, Martin Zimmermann

Get full text

An Existence Theorem of Nash Equilibrium in Coq and Isabelle by Stéphane Le Roux, Érik Martin-Dorel, Jan-Georg Smaus

Get full text

Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting by Aleksandar S. Dimovski

Get full text

Simple Fixpoint Iteration To Solve Parity Games by Tom van Dijk, Bob Rubbens

Get full text

Les noms sous-spécifiés anaphoriques résomptifs vs leur équivalent prototypique dans les constructions spécificationnelles attributives : comparaison dans un corpus diversifié en g... by Anaïs Vajnovszki

Get full text

Opacity Issues in Games with Imperfect Information by Bastien Maubert, Sophie Pinchinat, Laura Bozzelli

Get full text

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar by Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen

Get full text

New results on pushdown module checking with imperfect information by Laura Bozzelli

Get full text

Learn with SAT to Minimize Büchi Automata by Stephan Barth, Martin Hofmann

Get full text

Reachability Games with Relaxed Energy Constraints by Loïc Hélouët, Nicolas Markey, Ritam Raha

Get full text

Dynamics and Coalitions in Sequential Games by Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux

Get full text

4G and 5G communication technology in Malaysia by Mohd. Supa'at, Abu Sahmah, Muhammad Ridzuan, Mohd. Ikhwan

Get full text

A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability by Simon Busard, Charles Pecheur

Get full text

Model checking coalitional games in shortage resource scenarios by Dario Della Monica, Margherita Napoli, Mimmo Parente

Get full text

L’évolution de comme et comment : le témoignage des grammairiens et des dictionnaires de l’époque by Valerie Wielemans

Get full text

Model Checking Social Network Models by Raúl Pardo, Gerardo Schneider

Get full text

Constrained Existence Problem for Weak Subgame Perfect Equilibria with ω-Regular Boolean Objectives by Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin

Get full text