Demos

Sherlock - A Tool For Verification Of Neural Network Feedback Systems
Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan and Ashish Tiwari

SReachTools: A MATLAB Stochastic Reachability Toolbox
Abraham P. Vinod, Joseph Gleason and Meeko Oishi

Posters

StocHy - automated verification and synthesis of stochastic processes
Nathalie Cauchi and Alessandro Abate

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems
Guillaume O Berger and Raphaël M Jungers

Predictive Monitoring for Signal Temporal Logic with Probabilistic Guarantees
Xin Qin and Jyotirmoy Deshmukh

Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling
Ian Mitchell, Jacob Budzis and Andriy Bolyachevets

Structured Reward Functions using STL
Anand Balakrishnan and Jyotirmoy Deshmukh

Moore-Machine Filtering for Timed and Untimed Pattern Matching
Masaki Waga and Ichiro Hasuo

Encrypted Control System with Quantizer
Masako Kishida

Equalized Recovery: Weakening Invariance for Control and Estimation
Kwesi Rutledge, Sze Zheng Yong and Necmiye Ozay

Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems
Liren Yang and Necmiye Ozay

Safety Control with Preview Automaton
Zexiang Liu and Necmiye Ozay

Safety Characterization in Hybrid Inclusions Using Barrier Functions
Mohamed Adlene Maghenem and Ricardo Sanfelice

Relational Differential Dynamic Logic
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut, Shin-Ya Katsumata, David Sprunger and Akihisa Yamada

Instructions for authors of accepted demos and posters

• The date and time is: Tuesday, April 16, 5:30 - 8:00pm (CPS Week program)
• At least one author for every accepted poster/demo will be required to register and attend the conference
• Easels and 32” x 40” poster boards will be provided for all posters (upon registration: Monday evening or Tuesday morning)
• Tables with power strips and wireless connectivity will be provided for all demos