Difference between revisions of "Lat"

From Numerical Transition Systems
Jump to: navigation, search
(Logic and Automata Theory)
Line 20: Line 20:
 
* U. Zwick and M. Paterson. [http://www-verimag.imag.fr/~iosif/LAT/mean-payoff.pdf The Complexity of Mean Payoff Games]
 
* U. Zwick and M. Paterson. [http://www-verimag.imag.fr/~iosif/LAT/mean-payoff.pdf The Complexity of Mean Payoff Games]
 
* Note about Karp's minimal mean-cycle algorithm. [http://webcourse.cs.technion.ac.il/236359/Spring2010/ho/WCFiles/MMC.ps ps]
 
* Note about Karp's minimal mean-cycle algorithm. [http://webcourse.cs.technion.ac.il/236359/Spring2010/ho/WCFiles/MMC.ps ps]
 +
 +
'''Other Resources'''
 +
* [http://wcms.inf.ed.ac.uk/lfcs/Automata_On_Infinite_Trees_Slide.pdf Automata on Infinite Trees] lecture by Wolfgang Thomas
 +
* [http://nts.imag.fr/images/2/24/Mcnaughton.pdf Textbook proof of McNaughton's Theorem]
 +
* [http://goal.im.ntu.edu.tw/wiki/doku.php GOAL] - Graphical Tool for Omega-Automata and Logics
 +
* [http://nts.imag.fr/images/6/67/Games.zip Game Examples for GOAL]
 +
* M. Vardi and P. Wolper. [https://www.sciencedirect.com/science/article/pii/S0890540184710923 Reasoning about Infinite Computations]
 +
* M. Vardi. [http://www.cs.rice.edu/~vardi/papers/icla09.pdf/  From Philosophical to Industrial Logics] [http://www-verimag.imag.fr/~iosif/LAT/slides.pdf slides]
 +
  
 
'''Software'''
 
'''Software'''
Line 26: Line 35:
 
* LTL2BA: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
 
* LTL2BA: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
 
* GAVS+: An Open Platform for the Research of Algorithmic Game Solving: http://www6.in.tum.de/~chengch/gavs/
 
* GAVS+: An Open Platform for the Research of Algorithmic Game Solving: http://www6.in.tum.de/~chengch/gavs/
 +
* [http://www-verimag.imag.fr/~iosif/jcat Java Concurrency Analysis Tool]
  
 
===== ENS Lyon Course on Automata-Theoretic Model Checking =====
 
===== ENS Lyon Course on Automata-Theoretic Model Checking =====

Revision as of 17:56, 16 January 2021

Logic and Automata Theory

Similar or related lectures:

Bibliography

Other Resources


Software

ENS Lyon Course on Automata-Theoretic Model Checking

ER01 : vérification et certification du logiciel

Ecole Doctorale Grenoble

Ecole Doctorale Mathématiques, Sciences et Technologies de l'Information, Informatique

Slides for lectures on game theory (23/11/2010 and 30/11/2010)

SNSB Bucharest

Scoala Normala Superioara Bucharest (SNSB)


Outline of the first week (19/04/2010 - 24/04/2010) :

Outline of the second week (24/05/2010 - 29/05/2010) :

ED MSTII Grenoble 2018