Skip to content
Snippets Groups Projects
Select Git revision
  • dependencies
  • experiments
  • master default protected
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.027Feb2521141156Jan421Oct11May24Apr19151215Dec1410976428Nov24Add dependencies.dependenciesdependenciesUpdate readme, remove submodules.Remove build_dependency script.De-anonymized sources.Update readme for dependencies.Fix name of owl jar.Remove lib, update owl.Add submodules at proper commits.Remove dependencies folder.Add dependencies in their proper version, updated jars.Missing libs.experimentsexperimentsUpdate Libs.Recover dependencies.Update build_dependencies.Adapt code to be compatible to automatalib 8.Add source code of dependencies to comply with their licenses.Add license.Remove testing-only break statement.Polish experiments script.Anonymized sourcesImproved statisticsImplemented new notion of monitorabilityExperiments now also consider formulas that did not work for Bauer et al. (i.e., marked with @). Statistics updated to output whether a property is (r)ltl-monitorable.Merge fix for operator precedence from experiments branch.mastermasterNow using the rLTL2LTL parser in both the rLTL and LTL monitor construction so as to have the same operator precedence. Also updated rLTL2LTL.jar to reflect new operator precedence.Replace 'tt' with 'disambiguated'.Add fully parenthesized specs.Added check for trivial monitors to statistics outputReworked the statistics output, which now also outputs the number of distinct outputs for each monitor and the time taken to construct it.Merge branch 'master' into experimentsFixed bug in rLTL-2-LTL converterUpdate README for experiments.Add script for downloading specs and running experiments.Fix order of statistics.First script for the evaluation.(Temorary) fix for problem with empty Owl automataFixed major bug in rLTL monitor constructionRefactored code and added command line arguments to select LTL and rLTL monitor constructionUpdate README.mdAdded Leucker et al.'s LTL monitor construction