( en | de | ru )

 

Disambiguation of "Mover, Sergio"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-Based Stability Verification of an Industrial Switched PI Control Systems.

, , , , , , , , and . DSN-W, page 243-250. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sergio Mover

Philipp Möver

Ferdinand Movers

Sergio Dellavalle

Sergio Moccia

 

Other publications of authors with the same name

Reaching Out Towards Fully Verified Autonomous Systems., , and . RP, volume 11674 of Lecture Notes in Computer Science, page 22-32. Springer, (2019)Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability Analysis., , and . CoRR, (2023)Time-aware relational abstractions for hybrid systems., , , and . EMSOFT, page 14:1-14:10. IEEE, (2013)SMT-Based Stability Verification of an Industrial Switched PI Control Systems., , , , , , , , and . DSN-W, page 243-250. IEEE, (2023)Reconciling Spatial and Temporal Abstractions for Goal Representation., , and . CoRR, (2024)Historia: Refuting Callback Reachability with Message-History Logics., , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1905-1934 (October 2023)Verification modulo theories., , , , and . Formal Methods Syst. Des., 60 (3): 452-481 (2022)Lifestate: Event-Driven Protocols and Callback Control Flow., , and . ECOOP, volume 134 of LIPIcs, page 1:1-1:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)., , and . Dagstuhl Artifacts Ser., 5 (2): 13:1-13:3 (2019)Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)., , and . CoRR, (2019)