Talks at FLoC 2018

Talks being given as part of #FLoC2018 from #OxCaV group sorted by date:

Wednesday 11th:

14:00, CS Lecture Theatre A : Benchmarks for Cyber-Physical Systems, Nathalie Cauchi, Alessandro Abate , (ADHS)

14:00, CS Lecture Theatre B : Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement, Sofie Haesaert, Sadegh Soudjani, Alessandro Abate,  (ADHS)

15:15, CS Lecture Theatre B :Approximate Abstractions of Markov Chains with Interval Decision Processes, Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate,  (ADHS)

-------------------------

Friday, 13th:

11:20, CS Lecture Theatre B: Results of ARCH Friendly Competition: Stochastic Models Group, (ARCH)

16:45, CS Lecture Theatre B: A modular library of stochastic models from building automation systems, Nathalie Cauchi, Alessandro Abate (ARCH)

17:00, Maths Seminar C5: Logically-constrained reinforcement learning, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening (MoRe)

-------------------------

Saturday, 14th:

16:15,  Maths LT1 : Synthesis Modulor Theories, Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen (CAV)

-------------------------

Wednesday, 18th:

12:12, Maths LT3: Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants, Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordiero, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen (SYNT)

-------------------------

Thursday, 19th:

15:00, Maths LT6: Bayesian Verification of Chemical Reaction Networks, Gareth Molyneux, Viraj Brian Wijesuriya, Alessandro Abate (VEMDP)

-------------------------