MSc Theses

Formal Safety Verification Using Reachability Analysis for the Koopman Operator

Beatriz Contente
URL:
https://fenix.tecnico.ulisboa.pt/cursos/meaer21/dissertacao/2535628432474184
Privacy Policy
Highlights
Jobs
Intranet

Back to top

IST - Institute for Systems and Robotics

Research, development, and innovation institution focused on Robotic Systems and Information Processing, since 1992.

Facebook-f Linkedin
Contacts

Built and Designed by Novify

Privacy Policy

Cookies policy

© All Rights Reserved.