Tree: 3f030e23f0

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '3f030e23f0'

${ noResults }

Commit Graph

3 Commits (3f030e23f0bc4eca936f7e7b4893846fc4f5b7d6)

Author	SHA1	Message	Date
hannah	3f030e23f0	allow external ltl2da tools	4 years ago
hannah	139ac3d0dc	flag to indicate whether condition should be in dnf	4 years ago
Joachim Klein	6404c526e2	WIP (LTL) LTL2DeterministicAutomaton (first hacky attempt) Requires a script ltl2da on the PATH that takes two arguments, first an LTL formula in prefix format, second the DA automaton output filename. E.g., it could be called via ltl2da "& p1 F G p0" out.hoa and should produce a complete deterministic automaton (with arbitrary acceptance) for the LTL formula 'p1 & F (G p0)' and write it to the out.hoa file. Optionally, you can set the LTL2DA environment variable to provide the path to the script, e.g., invoking storm via LTL2DA=../ltl2da-script bin/storm ...	5 years ago