Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

Luca Bortolussi, Francesca Cairoli, Nicola Paoletti

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

45 Downloads (Pure)

Original language	English
Title of host publication	26th ACM International Conference on Hybrid Systems: Computation and Control
Publication status	Accepted/In press - 21 Jan 2023

Access to Document

@inbook{0652126f434e43259a310473a0f8d2c8,

title = "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes",

author = "Luca Bortolussi and Francesca Cairoli and Nicola Paoletti",

year = "2023",

month = jan,

day = "21",

language = "English",

booktitle = "26th ACM International Conference on Hybrid Systems: Computation and Control",

}