diff --git a/docs/gs_python.md b/docs/gs_python.md index 5f0527d..b2d0772 100644 --- a/docs/gs_python.md +++ b/docs/gs_python.md @@ -13,7 +13,7 @@ We import Reelay monitors as follows: import reelay ``` -The package consists of two constructs `discrete_time_monitor` and `dense_timed_monitor`. Normally you would select discrete timed model if you work on discrete time behaviors and dense timed model if dense time behaviors. This choice depends on on your system and needs. If you haven't already, please check the documentation on [discrete and dense time behaviors](docs/behaviors.md) before proceeding. +The package consists of two constructs `discrete_time_monitor` and `dense_timed_monitor`. Normally you would select discrete timed model if you work on discrete time behaviors and dense timed model if dense time behaviors. This choice depends on on your system and needs. If you haven't already, please check the documentation on [discrete and dense time behaviors](behaviors.md) before proceeding. ## Check Requirements over Discrete Time Behaviors @@ -59,4 +59,4 @@ print(results) # Print all where `faulty_sys_behavior` is a list of dicts. And the output `r1` is similarly a list of dicts that contains the result at that time step. -The complete source file of the dense timed monitor of DOW warning tutorial can be found [here](https://github.com/doganulus/reelay/blob/master/apps/tutorial/door_open_warning/python/dense_tutorial.py). \ No newline at end of file +The complete source file of the dense timed monitor of DOW warning tutorial can be found [here](https://github.com/doganulus/reelay/blob/master/apps/tutorial/door_open_warning/python/dense_tutorial.py).