21 October 2024
Meet the team member: Alejandro Mercado
25 March 2024
Meet the team member: Sherwin Varghese
18 October 2023
Meet the team member: Atri Sharma
11 September 2023
Paper on verification of key point detection accepted at KR2023
09 August 2023
Panagiotis Kouvaros awarded prestigious IJCAI Early Career Spotlight Award
06 July 2023
SAIL (formerly VAS) Group has a paper on verification against LVM-based specifications accepted at CVPR23
08 June 2023
SAIL (formerly VAS) Group has a paper on verification-friendly networks accepted at IJCNN23
11 May 2023
SAIL (formerly VAS) Group has a paper on robust explanations accepted at AAMAS23
02 May 2023
SAIL (formerly VAS) Group has a paper on verification of agents accepted at AAMAS23
12 January 2023
SAIL (formerly VAS) Group holds Mini-Workshop with Boeing
29 December 2022
Meet the team member: Benedikt Brückner
23 November 2022
SAIL (formerly VAS) members have four papers accepted at AAAI 2023
14 October 2022
Meet the new team member: Maria Stoica
11 October 2022
Meet the new team member: Edward Stevinson
03 October 2022
Alessio Lomuscio gives keynote on Neural-Symbolic Multi-Agent Systems
31 March 2022
SAIL (formerly VAS) members have a paper published on JAIR
31 January 2022
SAIL (formerly VAS) members have a paper published on AIJ
13 December 2021
SAIL (formerly VAS) members have a paper accepted at SAC 2022
29 November 2021
SAIL (formerly VAS) members have a paper accepted at AAAI 2022
11 November 2021
SAIL (formerly VAS) members have a paper published on JAAMAS
02 November 2021
Two new PhD students join the group!
15 October 2021
SAIL (formerly VAS) members have two papers accepted at BMVC 2021
24 September 2021
SAIL (formerly VAS) members have a paper accepted at SEFM 2021
13 September 2021
Alexander Manta
19 July 2021
Verinet wins the Second Highest Score Award and is category winner for mnistfc at VNN-COMP’21
19 July 2021
Venus wins the Beat-Randgen Award at VNN-COMP’21
17 July 2021
SAIL (formerly VAS) members have a paper accepted at FM 2021
15 June 2021
SAIL (formerly VAS) members have a paper accepted at KR 2021
04 May 2021
Meet the new team member: Jianglin Lan
30 April 2021
SAIL (formerly VAS) members have four papers accepted at IJCAI 2021
19 October 2020
Meet the new team member: Ben Batten
13 October 2020
Alessio Lomuscio gives a talk at KR 2020
20 September 2020
Meet the new team member: Dr Yang Zheng
29 July 2020
SAIL (formerly VAS) members have a paper accepted at KR 2020
21 July 2020
SAIL (formerly VAS) group participates in VNN-COMP
12 July 2020
Results of the ARCH-COMP20 are out!
11 May 2020
SAIL (formerly VAS) members give talks at AAMAS 2020
19 April 2020
SAIL (formerly VAS) members have two papers accepted at IJCAI 2020
15 January 2020
SAIL (formerly VAS) members have a paper accepted at ECAI 2020
15 January 2020
SAIL (formerly VAS) members have two papers accepted at AAMAS 2020
10 November 2019
SAIL (formerly VAS) members have two papers accepted at AAAI 2020
30 October 2019
Francesco Leofante joins the group
28 October 2019
Alex presents at ATVA 2019
01 October 2019
Three new PhD students join the group!
01 March 2019
Safe & Trusted AI CDT
23 January 2019
SAIL (formerly VAS) members have two papers accepted at AAMAS 2019
01 November 2018
SAIL (formerly VAS) members have two papers accepted at AAAI 2019
08 October 2018
Elena Botoeva joins the group as a postdoctoral researcher
11 July 2018
SAIL (formerly VAS) members have two papers accepted at KR 2018
01 July 2018
Panagiotis Kouvaros re-joins the group as a postdoctoral researcher
22 June 2018
SAIL (formerly VAS) member wins international student award
16 April 2018
SAIL (formerly VAS) members have three papers accepted at IJCAI 2018
10 April 2018
Alessio Lomuscio awarded RAEng fellowship
01 March 2018
SAIL (formerly VAS) group is awarded a grant for the DARPA Assured Autonomy project
24 January 2018
SAIL (formerly VAS) members have two papers accepted at AAMAS 2018
01 October 2017
Three new PhD students join the group!