3,708 followers
RT @AINewsFeed: Control Synthesis Through Deep Learning https://t.co/zIXRv50CkK #ai #ml #dl
7,868 followers
Control Synthesis Through Deep Learning https://t.co/zIXRv50CkK #ai #ml #dl
From Reactive Systems to Cyber-Physical Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Scott Smolka and Me
-
Altmetric BadgeChapter 2 A Comprehensive Comparison of GPU Implementations of Cardiac Electrophysiology Models
-
Altmetric BadgeChapter 3 From Automated MRI Scan to Finite Elements
-
Altmetric BadgeChapter 4 Formalizing Requirements Is $$\Diamond \Box $$ Hard
-
Altmetric BadgeChapter 5 Invisible Invariants Are Neither
-
Altmetric BadgeChapter 6 A Refinement Proof for a Garbage Collector
-
Altmetric BadgeChapter 7 Model Repair Revamped
-
Altmetric BadgeChapter 8 Generating Hard Benchmark Problems for Weak Bisimulation
-
Altmetric BadgeChapter 9 Robustness of Neural Networks to Parameter Quantization
-
Altmetric BadgeChapter 10 Model-Based Energy Characterization of IoT System Design Aspects
-
Altmetric BadgeChapter 11 A Logic-Inspired Approach to Reconfigurable System Modelling
-
Altmetric BadgeChapter 12 Topological Interpretation of Interactive Computation
-
Altmetric BadgeChapter 13 Conformal Predictions for Hybrid System State Classification
-
Altmetric BadgeChapter 14 Control Synthesis Through Deep Learning
-
Altmetric BadgeChapter 15 The Cost of Monitoring Alone
-
Altmetric BadgeChapter 16 Runtime Verification of Parametric Properties Using SMEDL