Ioannis Filippidis
Ioannis Filippidis
One decision to be made is whether to subclass `PPP` from `networkx.Graph`. It seems that it can benefit its usability and simplify many of the queries and iterations on it....
`discretize` will benefit by using either `networkx.Graph` or a sparse matrix representation directly, instead of operating on a `numpy.array`.
The issue about syntax conversions of `spec.GRSpec` to `jtlv` and `gr1c` syntax is available in `spec` by parsing, and flattening the AST into the appropriate syntax. This capability exists in...
ab6476021812b4b55fd7970f57da78f245254130 adds the capability to convert: - eventuality: [`p`](https://github.com/tulip-control/tulip-control/blob/ab6476021812b4b55fd7970f57da78f245254130/tulip/spec/form.py#L853) - stability: [`[]p`](https://github.com/tulip-control/tulip-control/blob/ab6476021812b4b55fd7970f57da78f245254130/tulip/spec/form.py#L777) - response: [`[](p -> q)`](https://github.com/tulip-control/tulip-control/blob/ab6476021812b4b55fd7970f57da78f245254130/tulip/spec/form.py#L814) properties to GR(1) format, by calling a function that accepts `p, q` and...
Two issues remain before closing this: 1. are there other common properties we would like to add to this (limited) repertoire ? 2. these conversions are for specific subformulas. So...
I constructed the conversions from scratch, independently of what exists in the examples. The equivalent formulas are included in the docstrings (now linked [above](https://github.com/tulip-control/tulip-control/issues/35#issuecomment-48449295)), so that others can check the...
I agree that this issue can be closed, considering item 1 [above](https://github.com/tulip-control/tulip-control/issues/35#issuecomment-48450038) complete. Item 2 can be deferred. The suggested approach is syntactic and enumerative (in the sense of manipulating...
If in no case fewer nodes are recognized as initial, then this error would have been quite difficult to find at runtime, because all nodes in the strategy are within...
`omega >= 0.2.0` lists initial nodes in the attribute `g.initial_nodes` of the graph `g` returned by the function `omega.games.enumeration.action_to_steps`, assigned here: https://github.com/tulip-control/omega/blob/c0ed2c1fdc31ceee5ae1cf6baa5309bada1cb812/omega/games/enumeration.py#L56