You have been invited to join

MOHYTOS Seminar


R
Radu Iosif (Owner)

Room Recordings


Name Thumbnails Length Users Visibility Formats
Joseph Sifakis (VERIMAG) "Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework" Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
Recorded on December 13, 2021
1 h 7 min 32 Presentation
Alessio Mansutti (Oxford University) " Efficient complementation of semilinear sets and the VC dimension of Presburger arithmetic"Efficient complementation of semilinear sets and the VC dimension of Presburger arithmetic"
Recorded on December 07, 2021
49 min 8 Presentation
Leo Exibard (Reykjavik University) "Reactive Synthesis over Infinite Data Domains with Machines with Registers" Reykjavik University
Recorded on December 02, 2021
57 min 10 Presentation
Nicolas Basset (VERIMAG)  "Uniform Sampling for Networks of Automata"
Recorded on November 29, 2021
1 h 3 min 20 Presentation
Hadi Dayekh (VERIMAG)  "Learning Automata over Large Alphabets as an Alternative to Recurrent Neural Networks           Learning Automata over Large Alphabets as an Alternative to Recurrent Neural Networks"
Recorded on October 04, 2021
49 min 27 Presentation
Lucas Bueri (VERIMAG) "Décidabilité de la rationalité des VAS"
Recorded on September 20, 2021
44 min 9 Presentation
Emma Ahrens (RWTH) "Local Reasoning for Reconfigurable Distributed Systems"  Local Reasoning for Reconfigurable Distributed Systems"
Recorded on February 26, 2021
56 min 13 Presentation
Etienne Andre (Université de Lorraine)   "Symbolic Monitoring against Specifications Parametric in Time and Data"Symbolic Monitoring against Specifications Parametric in Time and Data"
Recorded on January 28, 2021
55 min 19 Presentation
Cookies help us deliver our services. By using our services, you agree to our use of cookies.