Skip to content

Implement linear temporal logic checks on top of the game state recorder

Steffen Becker requested to merge feature/ltlchecks into master

This MR implements linear temporal logic checks on top of the observable game state list. The full LTL operator set should be supported. Tests demonstrate how requirements of a hamster game can be formalized and checked.

Edited by Steffen Becker

Merge request reports