Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450366977

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Achievements in correct-by-design control for stochastic systems

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313368 ◽

2019 ◽

Author(s):

Sofie Haesaert ◽

Sadegh Soudjani

Keyword(s):

Stochastic Systems

Download Full-text

Neural state classification for hybrid systems

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313372 ◽

2019 ◽

Author(s):

Dung Phan ◽

Nicola Paoletti ◽

Timothy Zhang ◽

Radu Grosu ◽

Scott A. Smolka ◽

...

Keyword(s):

Hybrid Systems ◽

State Classification

Download Full-text

Correct-by-construction policies for POMDPs

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313366 ◽

2019 ◽

Author(s):

Nils Jansen ◽

Sebastian Junges ◽

Joost-Pieter Katoen ◽

Tim Quatmann ◽

Bernd Becker ◽

...

Download Full-text

Falsification of cyber-physical systems through multi-fidelity stochastic optimization

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313371 ◽

2019 ◽

Author(s):

Alireza Inanlouganji ◽

Shakiba Yaghoubi ◽

Georgios Fainekos ◽

Giulia Pedrielli

Keyword(s):

Stochastic Optimization ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Symbolic-numeric methods in reasoning about the design of future air traffic management

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313373 ◽

2019 ◽

Author(s):

Henk Blom

Keyword(s):

Traffic Management ◽

Air Traffic Management ◽

Air Traffic

Download Full-text

Compositional finite abstractions for large-scale stochastic switched systems

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313347 ◽

2019 ◽

Cited By ~ 1

Author(s):

Abolfazl Lavaei ◽

Majid Zamani

Keyword(s):

Switched Systems ◽

Large Scale

Download Full-text

Sampling-free enforcement of non-gaussian chance constraints via fourier transforms

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313367 ◽

2019 ◽

Author(s):

Abraham P. Vinod ◽

Vignesh Sivaramakrishnan ◽

Meeko M. K. Oishi

Keyword(s):

Fourier Transforms ◽

Chance Constraints ◽

Non Gaussian

Download Full-text

Preview of predictive monitoring for signal temporal logic with probabilistic guarantees

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313370 ◽

2019 ◽

Author(s):

Xin Qin ◽

Jyotirmoy V. Deshmukh

Keyword(s):

Temporal Logic

Download Full-text

Limit reachability for model-free reinforcement learning of ω-regular objectives

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 ◽

10.1145/3313149.3313369 ◽

2019 ◽

Author(s):

Ernst Moritz Hahn ◽

Mateo Perez ◽

Sven Schewe ◽

Fabio Somenzi ◽

Ashutosh Trivedi ◽

...

Keyword(s):

Reinforcement Learning ◽

Model Free

Download Full-text

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Achievements in correct-by-design control for stochastic systems

Neural state classification for hybrid systems

Correct-by-construction policies for POMDPs

Falsification of cyber-physical systems through multi-fidelity stochastic optimization

Symbolic-numeric methods in reasoning about the design of future air traffic management

Compositional finite abstractions for large-scale stochastic switched systems

Sampling-free enforcement of non-gaussian chance constraints via fourier transforms

Preview of predictive monitoring for signal temporal logic with probabilistic guarantees

Limit reachability for model-free reinforcement learning of ω-regular objectives

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19
Latest Publications