Equilibration of Coordinating Imitation and Best-Response Dynamics
Article in IEEE Control Systems Letters (January 2023)
The most recent citing publication is shown below. View this citation on Dimensions.
Formal Modeling and Analysis of Timed Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
-
Altmetric BadgeChapter 2 Spectral Gap in Timed Automata
-
Altmetric BadgeChapter 3 Robust Weighted Timed Automata and Games
-
Altmetric BadgeChapter 4 On MITL and Alternating Timed Automata
-
Altmetric BadgeChapter 5 Predictability of Event Occurrences in Timed Systems
-
Altmetric BadgeChapter 6 Formal Modeling and Analysis of Timed Systems
-
Altmetric BadgeChapter 7 Back in Time Petri Nets
-
Altmetric BadgeChapter 8 A Mechanized Semantic Framework for Real-Time Systems
-
Altmetric BadgeChapter 9 Formal Modeling and Analysis of Timed Systems
-
Altmetric BadgeChapter 10 More or Less True DCTL for Continuous-Time MDPs
-
Altmetric BadgeChapter 11 Incremental Language Inclusion Checking for Networks of Timed Automata
-
Altmetric BadgeChapter 12 Nested Timed Automata
-
Altmetric BadgeChapter 13 On Fixed Points of Strictly Causal Functions
-
Altmetric BadgeChapter 14 Detecting Quasi-equal Clocks in Timed Automata
-
Altmetric BadgeChapter 15 On the Verification of Timed Discrete-Event Models
-
Altmetric BadgeChapter 16 Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores
-
Altmetric BadgeChapter 17 Confluence Reduction for Markov Automata
-
Altmetric BadgeChapter 18 Optimal Control for Linear-Rate Multi-mode Systems