Search

Your search keyword '"Schilling, Christian"' showing total 52 results

Search Constraints

Start Over You searched for: Author "Schilling, Christian" Remove constraint Author: "Schilling, Christian" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
52 results on '"Schilling, Christian"'

Search Results

1. Efficient Shield Synthesis via State-Space Transformation

2. The Inverse Problem for Neural Networks

3. Shielded Reinforcement Learning for Hybrid Systems

4. Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes

5. symQV: Automated Symbolic Verification of Quantum Programs

6. Simulation Relations and Applications in Formal Methods

7. Synthesis of Parametric Hybrid Automata from Time Series

8. SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

9. Conservative Time Discretization: A Comparative Study

10. Reachability of Weakly Nonlinear Systems Using Carleman Linearization

11. Into the Unknown: Active Monitoring of Neural Networks

13. Membership-Based Synthesis of Linear Hybrid Automata

14. Semantic Fault Localization and Suspiciousness Ranking

15. Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)

16. Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)

17. Ultimate Taipan: Trace Abstraction and Abstract Interpretation : (Competition Contribution)

18. Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata : (Competition Contribution)

19. Minimization of Visibly Pushdown Automata Using Partial Max-SAT

20. Discrete Abstraction of Multiaffine Systems

21. Abstraction-Based Parameter Synthesis for Multiaffine Systems

22. Runtime Verification for Hybrid Analysis Tools

24. A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem

25. Ultimate Automizer with Unsatisfiable Cores : (Competition Contribution)

26. Ultimate Automizer with SMTInterpol : (Competition Contribution)

27. DIBA — der digitale Bildarbeitsplatz für die Medizin

29. Radiologists Start Designing their Digital Workplace: Prototyping with a Digital Image Workstation in the Radiology

30. Partizipative und prospektive Technikgestaltung des digitalen Bildarbeitsplatzes für die Medizin

33. A Preliminary Study to Examining Per-class Performance Bias via Robustness Distributions

34. Iterative Counter-Example Guided Robustness Verification for Neural Networks

35. Verification of Neural Network Control Systems in Continuous Time

36. Provable Repair of Vision Transformers

37. Clover: Closed-Loop Verifiable Code Generation

38. Concept-Based Analysis of Neural Networks via Vision-Language Models

39. Parallel Verification for -Equivalence of Neural Network Quantization

40. Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

41. Error Analysis of Shapley Value-Based Model Explanations: An Informative Perspective

42. Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

44. Elimination of Detached Regions in Dependency Graph Verification

46. Sound Concurrent Traces for Online Monitoring

47. ParaGnosis: A Tool for Parallel Knowledge Compilation

48. Accelerating Black Box Testing with Light-Weight Learning

49. WikiCoder: Learning to Write Knowledge-Powered Code

50. Model Checking Futexes

Catalog

Books, media, physical & digital resources