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

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030315139, 9783030315146
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Repair Revamped

2019 ◽  
pp. 107-125
Author(s):  
Milan Češka ◽  
Christian Dehnert ◽  
Nils Jansen ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen
Keyword(s):  
Model Repair

Control Synthesis Through Deep Learning

2019 ◽  
pp. 242-255
Author(s):  
Doron Peled ◽  
Simon Iosti ◽  
Saddek Bensalem
Keyword(s):  
Deep Learning ◽  
Control Synthesis

A Logic-Inspired Approach to Reconfigurable System Modelling

2019 ◽  
pp. 181-201
Author(s):  
Alessandro Maggi ◽  
Rocco De Nicola ◽  
Joseph Sifakis
Keyword(s):  
System Modelling ◽  
Reconfigurable System

scholarly journals Runtime Verification of Parametric Properties Using SMEDL

2019 ◽  
pp. 276-293
Author(s):  
Teng Zhang ◽  
Ramneet Kaur ◽  
Insup Lee ◽  
Oleg Sokolsky
Keyword(s):  
Runtime Verification

The Cost of Monitoring Alone

2019 ◽  
pp. 259-275 ◽  
Author(s):  
Luca Aceto ◽  
Antonis Achilleos ◽  
Adrian Francalanza ◽  
Anna Ingólfsdóttir ◽  
Karoliina Lehtinen
Keyword(s):  
The Cost

scholarly journals Robustness of Neural Networks to Parameter Quantization

2019 ◽  
pp. 146-161 ◽  
Author(s):  
Abhishek Murthy ◽  
Himel Das ◽  
Md. Ariful Islam
Keyword(s):  
Neural Networks

Scott Smolka and Me

2019 ◽  
pp. 1-6
Author(s):  
Rance Cleaveland

scholarly journals Conformal Predictions for Hybrid System State Classification

2019 ◽  
pp. 225-241 ◽  
Author(s):  
Luca Bortolussi ◽  
Francesca Cairoli ◽  
Nicola Paoletti ◽  
Scott D. Stoller
Keyword(s):  
Hybrid System ◽  
System State ◽  
State Classification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document