Abstract
This chapter identifies a simple denotational semantics for hybrid games based on their winning regions, i.e., the set of states from which there is a winning strategy that wins the game for all strategies that the opponent might choose. Such a denotational semantics continues the successful trend in this book of understanding all operators in a compositional way. That is, the meaning of a compound hybrid game is a simple function of the meaning of its pieces. For repetitions in hybrid games, such a semantics will turn out to be surprisingly subtle, which will uncover a surprisingly rich complexity in hybrid games that is characteristically different from that of hybrid systems. This is the first indication that hybrid games come with their own unique sets of challenges beyond what hybrid systems already have in store for us.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
