3 citations · 9 across the 10 of their papers we have counts for
3 papers · 1 filter
Interface Simulation Distances
Pavol Černý, Martin Chmelík, Thomas A. Henzinger +1
The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfac…
Controllable-choice Message Sequence Graphs
Martin Chmelík, Vojtěch Řehák
We focus on the realizability problem of Message Sequence Graphs (MSG), i.e. the problem whether a given MSG specification is correctly distributable among parallel components comm…
Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games
Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar
We introduce games with probabilistic uncertainty, a natural model for controller synthesis in which the controller observes the state of the system through imprecise sensors that…