589 followers
このあいだ買った本。なかなか面白そう。 "Formal Methods for Discrete-Time Dynamical Systems" https://t.co/5tTHnvYe1v
Formal Methods for Discrete-Time Dynamical Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Transition Systems
-
Altmetric BadgeChapter 2 Temporal Logics and Automata
-
Altmetric BadgeChapter 3 Model Checking
-
Altmetric BadgeChapter 4 Largest Finite Satisfying Region
-
Altmetric BadgeChapter 5 Finite Temporal Logic Control
-
Altmetric BadgeChapter 6 Discrete-Time Dynamical Systems
-
Altmetric BadgeChapter 7 Largest Satisfying Region
-
Altmetric BadgeChapter 8 Parameter Synthesis
-
Altmetric BadgeChapter 9 Temporal Logic Control
-
Altmetric BadgeChapter 10 Finite Bisimulations
-
Altmetric BadgeChapter 11 Language Guided Controller Synthesis
-
Altmetric BadgeChapter 12 Optimal Temporal Logic Control