To the e:fs TechHub website
Follow us on
efs.ai
  • Homepage
  • Services
  • Showcases
    Treedex
    Deep Learning for plant recognitionTo the showcase
    Predictive Maintenance
    Intelligent damper defect detectionTo the showcase
    More showcases:
    Simulation
    Radar
    Coko
    Scenarios
  • Company
    About us
    Career
  • Blog
Contact us
efs.ai
  • Homepage
  • Services
  • Showcases
    Treedex
    Deep Learning for plant recognitionTo the showcase
    Predictive Maintenance
    Intelligent damper defect detectionTo the showcase
    More showcases:
    Simulation
    Radar
    Coko
    Scenarios
  • Company
    About us
    Career
  • Blog
Contact us
Category: Blogpost
Part 2 of 2: An approach to formal verification of neural networks in detail. 
https://secure.gravatar.com/avatar/5e5ea781bbfb990879406f88c28d6bcf?s=80&d=mm&r=g
Blogpost

Part 2 of 2: An approach to formal verification of neural networks in detail. 

If you want to read this article in English click here. An Approach to Formal Verification of Neural Networks in Detail In the first part of this blog, we described the following task in detail: "How can human-understandable security criteria for...
January 30, 2023
Read more
Part 1: Introduction to constraint-based formal verification of neural networks.
https://secure.gravatar.com/avatar/5e5ea781bbfb990879406f88c28d6bcf?s=80&d=mm&r=g
Blogpost

Part 1: Introduction to constraint-based formal verification of neural networks.

If you want to read this article in English click here. Introduction to Constraint-Based Formal Verification of Neural Networks Artificial Intelligence (AI) has already proven useful in many domains and has become an important tool in some areas, such as computer...
August 3, 2022
Read more
Detecting critical cut-in-scenarios
https://secure.gravatar.com/avatar/d572ad8ef66ea070a695b0099a97f2c5?s=80&d=mm&r=g
Blogpost

Detecting critical cut-in-scenarios

Ensuring the safety of automated driving functions is no simple task. To fulfil it, we are developing an approach that uses causal models.
21 December 2021
Read more
Multi-Task Learning
https://secure.gravatar.com/avatar/d572ad8ef66ea070a695b0099a97f2c5?s=80&d=mm&r=g
Blogpost

Multi-Task Learning

Multi-task learning offers the possibility to solve several computer vision tasks simultaneously and to combine several systems for intelligent environment perception.
16 November 2021
Read more
Security in the SDK
https://secure.gravatar.com/avatar/5411994379e0224015d1c2db6ae5ec3c?s=80&d=mm&r=g
Blogpost

Security in the SDK

A secure data platform for everyone In order to entrust your own company's data to a data platform, it is important that this platform is also secure against third-party access. How can we guarantee this? With our product "Saugeile Datenkrake" - SDK for short! Some of our...
3 November 2021
Read more
Acceptance of artificial intelligence
https://secure.gravatar.com/avatar/d572ad8ef66ea070a695b0099a97f2c5?s=80&d=mm&r=g
Blogpost

Acceptance of artificial intelligence

The presence of artificial intelligence (AI) in everyday life is steadily increasing, while the population is sceptical about the technology.
4 October 2021
Read more
Saugeile Datenkrake [EFS-SDK]
https://secure.gravatar.com/avatar/d572ad8ef66ea070a695b0099a97f2c5?s=80&d=mm&r=g
Blogpost

Saugeile Datenkrake [EFS-SDK]

Nowadays, everyone is looking for a place for data where information can be obtained, shared and visualised. Data platforms take care of exactly this problem. As EFS, we have been working in this field for over 10 years and have noticed that every data platform faces the same challenges.
20 September 2021
Read more
Newest contributions
  • Part 2 of 2: An approach to formal verification of neural networks in detail. 
  • Part 1: Introduction to constraint-based formal verification of neural networks.
  • Detecting critical cut-in-scenarios
  • Multi-Task Learning
  • Security in the SDK
Latest comments
    Search
    call to action
    Want to learn how to code in 8 weeks?
    Start now

    Want to learn how to code in 8 weeks?

    Purchase Essentials
    Tags
    AI Constraint-based formal verification Design formal verification AI AI assurance neural networks Products WordPress
    Recent Posts
    • Part 2 of 2: An approach to formal verification of neural networks in detail. 
      Part 2 of 2: An approach to formal verification of neural networks in detail. 
    • Part 1: Introduction to constraint-based formal verification of neural networks.
      Part 1: Introduction to constraint-based formal verification of neural networks.
    • Detecting critical cut-in-scenarios
      Detecting critical cut-in-scenarios
    Categories
    Blogpost
    Social Links
    AEB
    Imprint
    Data protection
    About us
    Jobs
    Search

    Hit enter to search or ESC to close

    Your shopping cart
    WooCommerce should be installed and activated!
    • DE