Skip to content

Commit

Permalink
Fixed link to strategy queries
Browse files Browse the repository at this point in the history
  • Loading branch information
mikucionisaau committed Oct 17, 2024
1 parent 2e02386 commit 25f1f62
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -54,4 +54,4 @@ Integers, clocks, floating points or even arbitrary expressions can be used in e
Process locations are ignored when specifying observability unless explicitly specified using `location` keyword.
For example `Cat.location` and `Mouse.location` refer to the locations of `Cat` and `Mouse` processes.

The learning queries are usually used together with strategy assignment and refinement explained in [Strategy Queries]({{<relref "/strategy_queries">}}).
The learning queries are usually used together with strategy assignment and refinement explained in [Strategy Queries]({{<relref "strategy_queries">}}).

0 comments on commit 25f1f62

Please sign in to comment.