From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 16)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030315139, 9783030315146

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Runtime Verification of Parametric Properties Using SMEDL

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_16 ◽

2019 ◽

pp. 276-293

Author(s):

Teng Zhang ◽

Ramneet Kaur ◽

Insup Lee ◽

Oleg Sokolsky

Keyword(s):

Runtime Verification

Download Full-text

Model Repair Revamped

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_7 ◽

2019 ◽

pp. 107-125

Author(s):

Milan Češka ◽

Christian Dehnert ◽

Nils Jansen ◽

Sebastian Junges ◽

Joost-Pieter Katoen

Keyword(s):

Download Full-text

Control Synthesis Through Deep Learning

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_14 ◽

2019 ◽

pp. 242-255

Author(s):

Doron Peled ◽

Simon Iosti ◽

Saddek Bensalem

Keyword(s):

Deep Learning ◽

Control Synthesis

Download Full-text

A Logic-Inspired Approach to Reconfigurable System Modelling

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_11 ◽

2019 ◽

pp. 181-201

Author(s):

Alessandro Maggi ◽

Rocco De Nicola ◽

Joseph Sifakis

Keyword(s):

System Modelling ◽

Reconfigurable System

Download Full-text

Topological Interpretation of Interactive Computation

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_12 ◽

2019 ◽

pp. 205-224

Author(s):

Emanuela Merelli ◽

Anita Wasilewska

Keyword(s):

Topological Interpretation ◽

Interactive Computation

Download Full-text

The Cost of Monitoring Alone

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_15 ◽

2019 ◽

pp. 259-275 ◽

Author(s):

Luca Aceto ◽

Antonis Achilleos ◽

Adrian Francalanza ◽

Anna Ingólfsdóttir ◽

Karoliina Lehtinen

Keyword(s):

Download Full-text

Robustness of Neural Networks to Parameter Quantization

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_9 ◽

2019 ◽

pp. 146-161 ◽

Author(s):

Abhishek Murthy ◽

Himel Das ◽

Md. Ariful Islam

Keyword(s):

Neural Networks

Download Full-text

Generating Hard Benchmark Problems for Weak Bisimulation

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_8 ◽

2019 ◽

pp. 126-145 ◽

Author(s):

Bernhard Steffen ◽

Marc Jasper

Keyword(s):

Benchmark Problems ◽

Weak Bisimulation

Download Full-text

Scott Smolka and Me

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_1 ◽

2019 ◽

pp. 1-6

Author(s):

Rance Cleaveland

Download Full-text

Conformal Predictions for Hybrid System State Classification

From Reactive Systems to Cyber-Physical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31514-6_13 ◽

2019 ◽

pp. 225-241 ◽

Author(s):

Luca Bortolussi ◽

Francesca Cairoli ◽

Nicola Paoletti ◽

Scott D. Stoller

Keyword(s):

Hybrid System ◽

System State ◽

State Classification

Download Full-text