Building LTL model checkers using Transition-based Generalized Büchi Automata - go to homepage
Toggle Navigation
Home
News
Publications
Seminars
Seminars of the Artificial Intelligence group
Seminars of the Automata group
Seminars of the Image processing and pattern recognition group
Seminars of the Security and Systems group
Groups
Artificial intelligence
Automata and applications
Digital methods for humanities and social sciences
Image processing and pattern recognition
Security and systems
Projects
Axes
Machine learning and applications
Robotics
Software and performance
People
Building LTL model checkers using Transition-based Generalized Büchi Automata
Abstract
Authors
Alexandre Duret-Lutz
Where
Place
Paper
duret.11.sumo.pdf
Date
2011-06-01
Copyright (c) 2022, LRE; all rights reserved.
Template by
Bootstrapious
. Ported to Hugo by
DevCows
.
