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)
-------------------------
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767