Verifiability Talk 53: Integrated Neural Network Verification, E. Komendantskaya (Heriot-Watt U)
UKRI TAS Verifiability Node
Verifiability Talk 53: Integrated Neural Network Verification, E. Komendantskaya (Heriot-Watt U)
57:01
Verifiability Talk 52: Formal Spec. of Reinforcement Learning, Mahsa Varshosaz (ITU Copenhagen)
UKRI TAS Verifiability Node
Verifiability Talk 52: Formal Spec. of Reinforcement Learning, Mahsa Varshosaz (ITU Copenhagen)
55:02
Verifiability 49: Co-verification for Robotics from Simulation to Verification, Pedro Ribeiro (York)
UKRI TAS Verifiability Node
Verifiability 49: Co-verification for Robotics from Simulation to Verification, Pedro Ribeiro (York)
58:23
Verifiability Talk 44: The Kaspar Robot, Gabriella Lakatos (U Hertfordshire)
UKRI TAS Verifiability Node
Verifiability Talk 44: The Kaspar Robot, Gabriella Lakatos (U Hertfordshire)
54:04
Verifiability Talk 43: Causal Inference to Test Computational Models, Neil Walkinshaw (Sheffield)
UKRI TAS Verifiability Node
Verifiability Talk 43: Causal Inference to Test Computational Models, Neil Walkinshaw (Sheffield)
57:46
Verifiability Talk 41: Neural Predictive Monitoring of Cyber-Physical Systems, Nicola Paoletti (KCL)
UKRI TAS Verifiability Node
Verifiability Talk 41: Neural Predictive Monitoring of Cyber-Physical Systems, Nicola Paoletti (KCL)
58:23
Verifiability Talk 40: “RoboCert: Property Specification in Robotics”, Matt Windsor (York)
UKRI TAS Verifiability Node
Verifiability Talk 40: “RoboCert: Property Specification in Robotics”, Matt Windsor (York)
59:13
Verifiability Talk 39: Verified Self-Adaptation of an Incubator Digital Twin, Thomas Wright (York)
UKRI TAS Verifiability Node
Verifiability Talk 39: Verified Self-Adaptation of an Incubator Digital Twin, Thomas Wright (York)
57:26
Verifiability Talk 38: Adversarial Attacks in Deep Learning Systems, Wendy Otieno (KCL)
UKRI TAS Verifiability Node
Verifiability Talk 38: Adversarial Attacks in Deep Learning Systems, Wendy Otieno (KCL)
53:05
Verifiability Talk 37: Machine Learning Trustworthiness: Landscapes and Practices, Jie Zhang (KCL)
UKRI TAS Verifiability Node
Verifiability Talk 37: Machine Learning Trustworthiness: Landscapes and Practices, Jie Zhang (KCL)
53:17
Verifiability Talk 36: Mutation Testing of Deep Learning Systems, Gunel Jahangirova (Lugano)
UKRI TAS Verifiability Node
Verifiability Talk 36: Mutation Testing of Deep Learning Systems, Gunel Jahangirova (Lugano)
53:07
Verifiability Talk 35: Conformance Testing & Causality in Cyber-Physical Systems, Hugo Araujo (KCL)
UKRI TAS Verifiability Node
Verifiability Talk 35: Conformance Testing & Causality in Cyber-Physical Systems, Hugo Araujo (KCL)
42:00
Verifiability Talk 33: Adversarial machine learning and testing. Héctor Menendez (KCL, UK)
UKRI TAS Verifiability Node
Verifiability Talk 33: Adversarial machine learning and testing. Héctor Menendez (KCL, UK)
51:47
Verifiability Talk 32: Excess Capacity and Backdoor Poisoning, Naren Manoj (Toyota Tech. Inst.)
UKRI TAS Verifiability Node
Verifiability Talk 32: Excess Capacity and Backdoor Poisoning, Naren Manoj (Toyota Tech. Inst.)
57:42
Verifiability Talk 31: Realtime autonomous overtaking using model checking, Alice Miller (Glasgow)
UKRI TAS Verifiability Node
Verifiability Talk 31: Realtime autonomous overtaking using model checking, Alice Miller (Glasgow)
52:24
Verifiability Talk 30: Lightweight Formal Methods for Autonomous Systems, Jyo Deshmuk (USC)
UKRI TAS Verifiability Node
Verifiability Talk 30: Lightweight Formal Methods for Autonomous Systems, Jyo Deshmuk (USC)
1:04:41
Verifiability Talk 28: Verified Trustworthy Software Specification, Philippa Gardner (Imperial)
UKRI TAS Verifiability Node
Verifiability Talk 28: Verified Trustworthy Software Specification, Philippa Gardner (Imperial)
1:00:52
Verifiability Talk 27: Runtime Verification for the Masses, Holger Hermanns (Saarland University)
UKRI TAS Verifiability Node
Verifiability Talk 27: Runtime Verification for the Masses, Holger Hermanns (Saarland University)
56:24
Verifiability Talk 26: A New Approach for Active Automata Learning, Frits Vaandrager
UKRI TAS Verifiability Node
Verifiability Talk 26: A New Approach for Active Automata Learning, Frits Vaandrager
1:08:06
Verifiability Talk 25: Modelling and Analysis of Interaction Styles, Oana Andrei, Glasgow
UKRI TAS Verifiability Node
Verifiability Talk 25: Modelling and Analysis of Interaction Styles, Oana Andrei, Glasgow
58:09
Verifiability Talk 23: On Synthesizing Probabilistic Programs, Joost-Pieter Katoen (RWTH-Aachen)
UKRI TAS Verifiability Node
Verifiability Talk 23: On Synthesizing Probabilistic Programs, Joost-Pieter Katoen (RWTH-Aachen)
57:01
Verifiability Talk 22: Systematic falsification of cyber-physical systems, Knut Åkesson (Chalmers)
UKRI TAS Verifiability Node
Verifiability Talk 22: Systematic falsification of cyber-physical systems, Knut Åkesson (Chalmers)
57:01
Verifiability Talk 21: CIRCUS: Modeling and Development of Interactive Systems, Philippe Palanque
UKRI TAS Verifiability Node
Verifiability Talk 21: CIRCUS: Modeling and Development of Interactive Systems, Philippe Palanque
54:36
Verifiability Talk 20: Formal Methods for User-Centred Design, Jose Campos (University of Minho)
UKRI TAS Verifiability Node
Verifiability Talk 20: Formal Methods for User-Centred Design, Jose Campos (University of Minho)
59:25
Verifiability Talk 19: Synthesis Technologies for Reactive Systems, Jan Oliver Ringert
UKRI TAS Verifiability Node
Verifiability Talk 19: Synthesis Technologies for Reactive Systems, Jan Oliver Ringert
55:57
Verifiability Talk 17: Automated Testing for Cyber-Physical Systems, Lionel Briand
UKRI TAS Verifiability Node
Verifiability Talk 17: Automated Testing for Cyber-Physical Systems, Lionel Briand
1:04:57
Verifiability Talk 16: Machine Learning and Software Engineering, Amel Bennaceur
UKRI TAS Verifiability Node
Verifiability Talk 16: Machine Learning and Software Engineering, Amel Bennaceur
36:06
Verifiability Talk 15: Automated Driving Safety, Georgios Fainekos
UKRI TAS Verifiability Node
Verifiability Talk 15: Automated Driving Safety, Georgios Fainekos
1:05:27
Verifiability Talk 14: Testing GPUs and Smart Contracts, Ajitha Rajan
UKRI TAS Verifiability Node
Verifiability Talk 14: Testing GPUs and Smart Contracts, Ajitha Rajan
56:05
Verifiability Talk 13: Verification under uncertainty, Radu Calinescu
UKRI TAS Verifiability Node
Verifiability Talk 13: Verification under uncertainty, Radu Calinescu
59:00
Verifiability Talk 12: Why Do Things Go Wrong (or Right)? Hana Chockler
UKRI TAS Verifiability Node
Verifiability Talk 12: Why Do Things Go Wrong (or Right)? Hana Chockler
54:19
Verifiability Talk 11: HyDive - Highly Dynamic Virtual and Hybrid Validation and Verif., Jan Peleska
UKRI TAS Verifiability Node
Verifiability Talk 11: HyDive - Highly Dynamic Virtual and Hybrid Validation and Verif., Jan Peleska
59:23
Verifiability Talk 10: Personal Assistive Robotics
UKRI TAS Verifiability Node
Verifiability Talk 10: Personal Assistive Robotics
49:17
Verifiability Talk 9: Intelligent Testing, Kerstin Eder
UKRI TAS Verifiability Node
Verifiability Talk 9: Intelligent Testing, Kerstin Eder
58:23
Verifiability Talk 8: Human in the Loop ..., Effie Law
UKRI TAS Verifiability Node
Verifiability Talk 8: Human in the Loop ..., Effie Law
52:25
Verifiability Talk 7: Software Engineering for Robotics, Ana Cavalcanti
UKRI TAS Verifiability Node
Verifiability Talk 7: Software Engineering for Robotics, Ana Cavalcanti
1:04:51
Verifiability Talk 6: Is Your Car Cheating on You? Mohammad Reza Mousavi
UKRI TAS Verifiability Node
Verifiability Talk 6: Is Your Car Cheating on You? Mohammad Reza Mousavi
1:07:02
Verifiability Talk 5: Testing for Adversarial Attacks and Instabilities, Ivan Tyukin
UKRI TAS Verifiability Node
Verifiability Talk 5: Testing for Adversarial Attacks and Instabilities, Ivan Tyukin
1:00:20
Verifiability Talk 4: Building Robots for the Real World, Rob Richardson, U of Leeds
UKRI TAS Verifiability Node
Verifiability Talk 4: Building Robots for the Real World, Rob Richardson, U of Leeds
42:41
Verifiability Talk 3: Mutation for Systematic Testing in Robotics, Rob Hierons, U of Sheffield
UKRI TAS Verifiability Node
Verifiability Talk 3: Mutation for Systematic Testing in Robotics, Rob Hierons, U of Sheffield
40:09
Verifiability Talk 2: Unifying Semantics for Verifiability, Jim Woodcock
UKRI TAS Verifiability Node
Verifiability Talk 2: Unifying Semantics for Verifiability, Jim Woodcock
1:00:32
Verifiability Talk 1: Verifying Machine Ethics, Louise Dennis, U of Manchester
UKRI TAS Verifiability Node
Verifiability Talk 1: Verifying Machine Ethics, Louise Dennis, U of Manchester
1:01:40