Commits · master · rLTL / rltl-runtime-monitoring-code

Apr 24, 2019
- Merge fix for operator precedence from experiments branch. · e6da06df
  Daniel Neider authored 5 years ago
  
  e6da06df
Dec 15, 2018
- Fixed bug in rLTL-2-LTL converter · b58a22b2
  Daniel Neider authored 6 years ago
  
  b58a22b2
Dec 10, 2018
- (Temorary) fix for problem with empty Owl automata · 1d4a8ee8
  Daniel Neider authored 6 years ago
  
  1d4a8ee8
Dec 09, 2018
- Fixed major bug in rLTL monitor construction · 29de7f52
  Daniel Neider authored 6 years ago
  
  29de7f52
Dec 07, 2018
- Refactored code and added command line arguments to select LTL and rLTL monitor construction · b5cb14ac
  Daniel Neider authored 6 years ago
  
  b5cb14ac
- Update README.md · f92f8512
  Daniel Neider authored 6 years ago
  
  f92f8512
Dec 06, 2018
- Added Leucker et al.'s LTL monitor construction · e150d7c0
  Daniel Neider authored 6 years ago
  
  e150d7c0
Dec 04, 2018
- Updated Owl library · fca99c22
  Daniel Neider authored 6 years ago
  
  fca99c22
- Now correctly completes a deterministic Owl automaton before translating to a... · 5dc3ecc5
  Daniel Neider authored 6 years ago
  
  Now correctly completes a deterministic Owl automaton before translating to a Moore machine. Also now uses deterministic automata in command line interface.
  5dc3ecc5
Nov 28, 2018
- Updated README.md · 0c28e2b9
  Daniel Neider authored 6 years ago
  
  0c28e2b9
- Updates rLTL2LTL converter · aa939f13
  Daniel Neider authored 6 years ago
  
  aa939f13
Nov 24, 2018
- Initial commit · 0cfd1a2d
  Daniel Neider authored 6 years ago
  
  0cfd1a2d