Similar Items: Conformance Relations and Hyperproperties for Doping Detection in Time and Space
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- Logics for Context-free Hyperproperties
- Collaboration vs. choreography conformance in BPMN
- Adventures in time and space
- TorchCP: A Python Library for Conformal Prediction
- Watermark in the Classroom: A Conformal Framework for Adaptive AI Usage Detection