Title: Temporal Logics Zoo  
Author: Unknown User (labo@mit.edu) Jun 07, 2016 08:26
Last Changed by: Cristian-Ioan Vasile Feb 13, 2017 16:59
Tiny Link: (useful for email) https://wikis.mit.edu/confluence/x/FBv_Bg
Export As: Word · PDF  
Labels
There are no labels assigned to this page.
Recent Changes
Time Editor  
Feb 13, 2017 16:59 Cristian-Ioan Vasile View Changes
Migration of unmigrated content due to installation of a new plugin
Feb 13, 2017 16:59 Cristian-Ioan Vasile View Changes
Migration of unmigrated content due to installation of a new plugin
Feb 13, 2017 16:59 Cristian-Ioan Vasile View Changes
Feb 13, 2017 16:56 Unknown User (vasu_1@touchstonenetwork.net) View Changes
Feb 13, 2017 16:55 Unknown User (vasu_1@touchstonenetwork.net)  
Outgoing Links
External Links (22)
    https://www.cs.rice.edu/~vardi/papers/gandalf11-myv.pdf
    https://dx.doi.org/10.1109%2FSFCS.1977.32
    www.lsv.ens-cachan.fr/~gastin/ltl2ba/
    https://www.react.uni-saarland.de/teaching/games-synthesis-…
    https://github.com/dsadigh/CrSPrSTL
    https://en.wikipedia.org/wiki/Digital_object_identifier
    https://people.eecs.berkeley.edu/~donze/breach_page.html
    https://ltlmop.github.io/
    https://www.itu.dk/qmc2012/joelouaknine4.pdf
    https://github.com/VerifiableRobotics/slugs
    sites.bu.edu/hyness/files/2014/10/SpaTeL.rar
    https://sites.google.com/a/asu.edu/s-taliro/s-taliro
    https://people.eecs.berkeley.edu/~sseshia/fmee/lectures/EEC…
    hyness.bu.edu/twtl/
    https://en.wikipedia.org/wiki/Amir_Pnueli
    https://complexityzoo.uwaterloo.ca/Complexity_Zoo
    https://en.wikipedia.org/wiki/Theoretical_Computer_Science_…
    https://github.com/tulip-control/tulip-control
    arXiv:1602.04294
    www.ltl2dstar.de/
    www.inf.unibz.it/~artale/FM/slide4.pdf
    https://github.com/BluSTL/BluSTL