Search

Your search keyword '"Nenzi A"' showing total 52 results

Search Constraints

Start Over You searched for: Author "Nenzi A" Remove constraint Author: "Nenzi A" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
52 results on '"Nenzi A"'

Search Results

1. Is Machine Learning Model Checking Privacy Preserving?

2. ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series

3. Adaptable Configuration of Decentralized Monitors

4. One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems

5. Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

6. Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems

7. MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

8. Monitoring Spatio-Temporal Properties (Invited Tutorial)

9. A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors

10. A Robust Genetic Algorithm for Learning Temporal Specifications from Data

11. Signal Convolution Logic

12. Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems

13. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

14. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

15. A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits

16. Runtime Monitoring DNN-Based Perception : (via the Lens of Formal Methods)

17. AMT: A Runtime Verification Tool of Video Streams

19. CCMOP: A Runtime Verification Tool for C/C++ Programs

21. eMOP: A Maven Plugin for Evolution-Aware Runtime Verification

22. Instrumentation for RV: From Basic Monitoring to Advanced Use Cases

23. Safety Monitoring for Pedestrian Detection in Adverse Conditions

24. Monitorability for Runtime Verification

27. Monitoring Hyperproperties with Prefix Transducers

28. Metric First-Order Temporal Logic with Complex Data Types

30. Runtime Verification Prediction for Traces with Data

31. General Anticipatory Monitoring for Temporal Logics on Finite Traces

33. Mining Specification Parameters for Multi-class Classification

34. Flexible Runtime Security Enforcement with Tagged C

35. Assumption Generation for Learning-Enabled Autonomous Systems

36. Monitoring Blackbox Implementations of Multiparty Session Protocols

37. Monitoring Algorithmic Fairness Under Partial Observations

38. Learning Monitor Ensembles for Operational Design Domains

39. Pattern Matching for Perception Streams

40. Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications

42. Neural Network Precision Tuning Using Stochastic Arithmetic

43. Self-correcting Neural Networks for Safe Classification

44. MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types

45. Neural Networks in Imandra: Matrix Representation as a Verification Choice

46. Verified Numerical Methods for Ordinary Differential Equations

47. Differentiable Logics for Neural Network Training and Verification

48. Minimal Multi-Layer Modifications of Deep Neural Networks

49. Formal Specification for Learning-Enabled Autonomous Systems

50. CEG4N: Counter-Example Guided Neural Network Quantization Refinement

Catalog

Books, media, physical & digital resources