Specification- based monitoring of cyber-physical systems: a survey on theory, tools and applications

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donz´ e, Georgios Fainekos, Oded Maler, Dejan Niˇ ckovi´ c, Sriram Sankaranarayanan · 2018

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

citation-role summary

background 1

background 1

cs.LG · 2025-07-03 · conditional · novelty 6.0

Finite-sample PAC monitors for fairness of unknown Markov-chain decision makers, with pointwise and time-uniform soundness guarantees.

Showing 1 of 1 citing paper.

Monitoring of Static Fairness cs.LG · 2025-07-03 · conditional · none · ref 7
Finite-sample PAC monitors for fairness of unknown Markov-chain decision makers, with pointwise and time-uniform soundness guarantees.