Created by pecheur, at May 02, 2010, at 08:19 PM

The LVL publications database is up and running, see Publications.

The database lists all publications by LVL members back to the start of the group's activities in 2005. Each publication comes with full reference, abstract, tags, BibTeX record and electronic version. Authors and tags are cross-linked.

Tags: LVL, Website, Publication

Sections

• LVL Home Page
• News
• Research Themes
• Publications
• Talks
• Tools
• Staff
• Contact

Tag cloud

Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences