Timings
02:00 PM - 04:30 PM
Entry Fees
Check Official Website
Estimated Turnout
Delegates
Event type
Conference
Description
Event Title: Final Colloquium Maarten Ten Voorde 2024
Description: Join us for a fascinating exploration into the world of advanced control systems at the Final Colloquium of Maarten Ten Voorde. This pivotal event will delve into the application of stochastic abstractions coupled with neural network dynamic models, to achieve formal control over an inverted pendulum mounted on a cart. Attendees will gain insights into the use of interval Markov decision processes and linear temporal logic across finite traces, aimed at enhancing safety and performance within intricate control systems. Don't miss this opportunity to expand your understanding of cutting-edge technology in control system optimization.
Location: Netherlands
Category: Education & Training
Tags: Education & Training, neural network, Pendulum, Finite, stochastic