Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

7 Results
authFullName_s : Jan-Georg Smaus

Formalization of an existence theorem of Nash equilibrium in Coq and Isabelle (Journées FAC 2017)

Stéphane Le Roux , Érik Martin-Dorel , Jan-Georg Smaus
Journées FAC 2017, Groupe IFSE du RTRA STAE, Mar 2017, Toulouse, France
Conference papers hal-03131861v1

A Fully Verified Executable LTL Model Checker

Javier Esparza , Peter Lammich , René Neumann , Tobias Nipkow , Alexander Schimpf , et al.
[Research Report] Archive of Formal Proofs. 2016
Reports hal-03172233v1
Image document

Büchi Automata Optimisations Formalised in Isabelle/HOL

Alexander Schimpf , Jan-Georg Smaus
6th Indian Conference on Logics and its Applications (ICLA 2015), Jan 2015, Mumbai, India. pp.158-169, ⟨10.1007/978-3-662-45824-2_11⟩
Conference papers hal-01782564v1
Image document

Abstracting an Operational Semantics to Finite Automata

Nadezhda Baklanova , Wilmer Ricciotti , Jan-Georg Smaus , Martin Strecker
11th International Conference onICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp.109-123, ⟨10.1007/978-3-319-30246-1_7⟩
Conference papers hal-01782563v1
Image document

A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem

Christian Schilling , Jan-Georg Smaus , Fabian Wenzelmann
International Workshop on Combinatorial Algorithms (IWOCA 2013), Jul 2013, Rouen, France. pp.458-462
Conference papers hal-01671327v1

An Existence Theorem of Nash Equilibrium in Coq and Isabelle

Stéphane Le Roux , Érik Martin-Dorel , Jan-Georg Smaus
8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Sep 2017, Rome, Italy. pp.46-60, ⟨10.4204/EPTCS.256.4⟩
Conference papers hal-03434697v1
Image document

A Fully Verified Executable LTL Model Checker

Javier Esparza , Peter Lammich , René Neumann , Tobias Nipkow , Alexander Schimpf , et al.
25th International Conference on Computer Aided Verification (CAV 2013), Jun 2013, Saint Petersbourg, Russia. pp.463-478, ⟨10.1007/978-3-642-39799-8_31⟩
Conference papers hal-01226469v1