Ioannis Filippidis

This initialization touches the interplay between: 1. quantification of initial conditions, and 2. concretization for implementation Depending on where we apply these methods, I can imagine that both can be...

A `LabeledDiGraph` can be exported to `dot`, with styles defined. But when using `dot2tex` the styles end up to `tikz`, which doesn't understand all of them unless they are either...

## Summary I could reproduce the error. A strategy for the first specification is synthesized by `tulip.interfaces.omega`, and the error is raised when converting the synthesized strategy to a Mealy...

A way to avoid the error without mentioning the internal variable `loc` is to define the initial states (nodes) of the transition system to be any state (node) of the...

There is an example that I do not yet have myself, but when I obtain it and investigate, I will try to create a minimal example. The problem reported is...

Yes, I did not intend to suggest otherwise.

The attribute `FiniteTransitionSystem.actions` appears to have been a `MathSet` (which behaves similarly to a `set`) but then changed to a `dict` [1], leading to this error. The docstring of the...

## Functions to represent strategies ### Functions in code The main change would be to represent the synthesized strategies as mathematical functions. This representation can be a: 1. Python `dict`...

Having both is possible. My interest is mainly in implementing the interleaving one. Taking the above arguments and previous discussion into account, I would expect that a noninterleaving representation would...

About the freezing of dynamics, I think that this is a matter of identifying passage of physical time with steps between consecutive states in a behavior (a sequence that models...