Ioannis Filippidis
Ioannis Filippidis
I prefer Moore players too. But a noninterleaving game with Moore players is concurrent. We can still synthesize for GR(1) properties with a Moore synthesizer. Arguably, it could also be...
The question of what argument is given to a function that represents a strategy is a good point, because at least two approaches are commonly encountered in the literature: 1....
Also, it may be useful to contrast the state-space based approach using functions (and the explicit quantification of initial states that will accompany it) to how long (and confusing) the...
Also, this way of simulating things is the simplest loop that a one may write to integrate a system of differential equations. The user just needs to be told what...
I agree that the value of variable `mem` will need to be stored. The values of `x` and `y` may be sensed or stored within the controller, depending on what...
By "call" I mean in terminology, not in code. We could call it `Function` in code, and so force the user to think about how it is being used, perhaps...
I have been thinking about a suggestion by @necozay to use a Moore system, but let the environment be Mealy. I still think that it would be good to have...
The previous is essentially about the gap between the universal quantifier, and what the environment can be assumed to be capable of. This gap is what makes a game determined...
About the comment [above](https://github.com/tulip-control/tulip-control/issues/147#issuecomment-226344701) regarding interleaving specs that represent physical processes. Yes, physical processes can be described by interleaving specifications, equivalently to how they can be described with noninterleaving specifications....