Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
456 commits
Select commit Hold shift + click to select a range
03a11f3
Making more FMAS links point to the external website.
Oct 31, 2021
0ed17cb
Merge branch 'master' of https://github.com/autonomy-and-verification…
Oct 31, 2021
4e6c06e
Adding more redirect
Oct 31, 2021
a3d5582
Fixing?
Oct 31, 2021
ab64d95
Update events.md
mluckcuck Oct 31, 2021
f255b39
Update events.md
mluckcuck Oct 31, 2021
d6ca16b
Update pubs.bib
rafaelcaue Nov 10, 2021
f978480
Update pubs.bib
louiseadennis Nov 23, 2021
5dab43c
Update pubs.bib
louiseadennis Nov 23, 2021
620a12d
Update mcapl.md
louiseadennis Nov 23, 2021
813b54a
Update pubs.bib
louiseadennis Nov 30, 2021
9fcbf04
Update members.yml
rafaelcaue Jan 17, 2022
9814ee9
Update members.md
rafaelcaue Jan 17, 2022
e8f1312
Update members.md
rafaelcaue Feb 1, 2022
5f85717
Trying to fix the members list updates
Feb 2, 2022
cb3ca00
Add files via upload
michaeldfisher Feb 5, 2022
8172f69
Update verifiability.md
michaeldfisher Feb 5, 2022
905a41e
Add files via upload
michaeldfisher Feb 6, 2022
27b923c
Add files via upload
michaeldfisher Feb 6, 2022
45b62e8
Add files via upload
michaeldfisher Feb 6, 2022
3c4d8c7
Add files via upload
michaeldfisher Feb 6, 2022
9085b37
Add files via upload
michaeldfisher Feb 6, 2022
e79cfbf
Add files via upload
michaeldfisher Feb 6, 2022
0969cb7
Rename _projects/vavas.md to _projects-previous/vavas.md
michaeldfisher Feb 6, 2022
848c91d
Rename _projects/verifiable-autonomy.md to _projects-previous/verifia…
michaeldfisher Feb 6, 2022
a049199
Trying quick upload for Chris.
rafaelcaue Feb 16, 2022
2954c0b
Update pubs.bib
michaeldfisher Feb 18, 2022
65b79b0
Fixing problem where fmas series was appearing in the 'Upcoming Event…
Mar 7, 2022
1a7ad74
V1.0.0
spinphysgit Mar 9, 2022
8ad152b
V1.0.0
spinphysgit Mar 9, 2022
070a906
V1.0.0
spinphysgit Mar 9, 2022
020260c
V1.0.0
spinphysgit Mar 9, 2022
b390a22
Moving diagram files
Mar 10, 2022
1ff0ca1
Rename RAIN-Robot-operation-SC-Strawman.htm to RAIN Robot operation S…
spinphysgit Mar 10, 2022
72f2aa7
Update pubs.bib
louiseadennis Mar 13, 2022
fa09f61
'Strawman' website for the strawman safety case workshop details.
Mar 28, 2022
8f4c4bb
Removing/untracking the jekyll build cache
Mar 28, 2022
f7f51d7
Merge branch 'master' of https://github.com/autonomy-and-verification…
Mar 28, 2022
b361b47
Add files via upload
michaeldfisher Mar 30, 2022
9e81f73
Update ICRA22.md
michaeldfisher Mar 31, 2022
08d1185
Add files via upload
michaeldfisher Mar 31, 2022
b470642
Update pubs.bib
louiseadennis Mar 31, 2022
5b915cb
Update mcapl.md
louiseadennis Mar 31, 2022
eb1e6db
Uploading new files and writing up Safety Case workshop website.
Mar 31, 2022
bf9d1d7
Update area.md
rafaelcaue Apr 4, 2022
8d7ac94
Update area.md
rafaelcaue Apr 4, 2022
8a4e13c
Create area2022.md
rafaelcaue Apr 4, 2022
58e6985
Update area.md
rafaelcaue Apr 4, 2022
3702f8e
Update pubs.bib
louiseadennis Apr 12, 2022
fb3b67e
Update members.yml
fatmaf May 5, 2022
304c386
Update pubs.bib
michaeldfisher Jun 6, 2022
6c8eeec
Update pubs.bib
louiseadennis Jun 9, 2022
2ea65e9
Update pubs.bib
louiseadennis Jun 10, 2022
a6d4b89
Update pubs.bib
louiseadennis Jun 10, 2022
dc65a21
Update pubs.bib
louiseadennis Jun 10, 2022
5f5e150
Adding iFM pub.
louiseadennis Jun 13, 2022
bd24871
Update mcapl.md
louiseadennis Jun 13, 2022
9b56ea4
Update mcapl.md
louiseadennis Jun 13, 2022
777ef20
Videos of louise.
louiseadennis Jun 22, 2022
084fce6
Update area2022.md
rafaelcaue Jul 4, 2022
5bd7ab1
FMAS 2022
Jul 27, 2022
dbfffab
Date...I missed changing the date...
Jul 27, 2022
866c03f
Adding use cases page.
rafaelcaue Aug 4, 2022
c01bc19
Adding new case study and adding disclaimer.
rafaelcaue Aug 8, 2022
5844d4e
Fixing external icon to be part of the link.
rafaelcaue Aug 8, 2022
b9f2236
Update members.yml
rafaelcaue Aug 10, 2022
df12348
Update members.yml
rafaelcaue Aug 10, 2022
48a2293
Update members.md
rafaelcaue Aug 10, 2022
f8865f4
Update members.yml
rafaelcaue Aug 10, 2022
64769cb
Update members.md
rafaelcaue Aug 10, 2022
f613bf4
Update members.yml
rafaelcaue Aug 11, 2022
d6a71c0
Update members.md
rafaelcaue Aug 11, 2022
a69c906
Update members.yml
rafaelcaue Sep 6, 2022
f65739b
Update members.md
rafaelcaue Sep 6, 2022
49efe6f
Update members.yml
rafaelcaue Sep 6, 2022
20c769f
Update members.md
rafaelcaue Sep 6, 2022
e33f2e4
Update members.yml
rafaelcaue Sep 6, 2022
74a951f
Update members.md
rafaelcaue Sep 6, 2022
a0ebc59
Update members.yml
rafaelcaue Sep 6, 2022
d2ad143
Update members.md
rafaelcaue Sep 6, 2022
cfc0551
Update members.yml
rafaelcaue Sep 6, 2022
250c61a
Update members.md
rafaelcaue Sep 6, 2022
0209beb
Update members.yml
rafaelcaue Sep 6, 2022
920b77b
Update members.md
rafaelcaue Sep 6, 2022
5ae53c2
Update usecases.md
rafaelcaue Sep 12, 2022
a37f4b6
Update usecases.md
rafaelcaue Sep 12, 2022
e447df5
Update members.yml
rafaelcaue Sep 12, 2022
3231178
Update members.md
rafaelcaue Sep 12, 2022
1a8bc39
Update pubs.bib
louiseadennis Oct 5, 2022
397bd5d
Update pubs.bib
louiseadennis Oct 5, 2022
d56e335
Create area2020.md
rafaelcaue Oct 12, 2022
282044b
Update area.md
rafaelcaue Oct 12, 2022
0978011
Updating Emily's links.
Dec 6, 2022
7ac8e23
Updating pubs with some of mine and Marie's
Dec 6, 2022
c14ac51
Adding Sen Zheng to members list
mluckcuck Dec 8, 2022
bc1f800
Moving me and Marie around
mluckcuck Dec 8, 2022
5f4c2c6
Update members.yml
mluckcuck Dec 8, 2022
6cda307
Adding Emily's extra link and making the styles on this page all the …
Dec 13, 2022
5c58805
Realigning the members columns, and applying the same box style to ot…
Dec 13, 2022
d25cefa
Add files via upload
michaeldfisher Jan 14, 2023
e7866af
Update NeSyMAS23.md
michaeldfisher Jan 14, 2023
218285c
Tweaking members extra website text.
Jan 16, 2023
126c65e
Update members.md
mluckcuck Jan 20, 2023
9620e27
Moving S4 to previous projects list.
Jan 20, 2023
4c0ae9b
Actually fixing the extras space before the 'see also' link. Had to i…
Jan 20, 2023
0418a5f
Merge branch 'master' of https://github.com/autonomy-and-verification…
Jan 20, 2023
84f84d6
Add files via upload
michaeldfisher Feb 8, 2023
fddbdba
Update members.yml
rafaelcaue Mar 16, 2023
76a7692
Add files via upload
michaeldfisher Mar 17, 2023
86ae255
Update pubs.bib
michaeldfisher Mar 17, 2023
186a9bb
Update pubs.bib
michaeldfisher Mar 17, 2023
9838638
Create area2023.md
rafaelcaue Mar 30, 2023
4b8b1b2
Update events.md
rafaelcaue Mar 30, 2023
22a7da7
Update area2023.md
rafaelcaue Mar 30, 2023
586db54
Update events.md
rafaelcaue Mar 30, 2023
866eca1
Update events.md
rafaelcaue Mar 30, 2023
e74b618
Update members.yml
rafaelcaue Apr 18, 2023
36a45ac
Update members.md
rafaelcaue Apr 18, 2023
b1806c2
Update pubs.bib
louiseadennis May 9, 2023
bb4c62e
Update pubs.bib
louiseadennis May 9, 2023
6ee7b36
Update pubs.bib
louiseadennis May 9, 2023
bbad2ff
Update pubs.bib
louiseadennis Jun 8, 2023
b0f1a12
Update mcapl.md
louiseadennis Jun 8, 2023
5271a35
Update pubs.bib
louiseadennis Jun 8, 2023
73facc4
Update members.yml
mluckcuck Jun 13, 2023
e0f4466
Update mcapl.md
louiseadennis Jun 15, 2023
9fe1894
Update pubs.bib
louiseadennis Jun 15, 2023
44438af
Update pubs.bib
louiseadennis Jul 9, 2023
adc0f03
Update pubs.bib
louiseadennis Jul 9, 2023
bea7e2e
Fatma -> Affiliated
mluckcuck Jul 11, 2023
0f3608f
Update pubs.bib
mluckcuck Jul 11, 2023
a0afcf5
Update members.yml
rafaelcaue Jul 13, 2023
bd20519
Update members.md
rafaelcaue Jul 13, 2023
0b0557c
Disabling twitter widget.
rafaelcaue Jul 13, 2023
5180534
Update index.md
rafaelcaue Jul 13, 2023
fade22b
Commenting researchgate icon and link.
rafaelcaue Jul 13, 2023
6ab750f
Update index.md
rafaelcaue Jul 21, 2023
206c192
Update index.md
rafaelcaue Jul 21, 2023
39daf73
Update members.md
rafaelcaue Jul 21, 2023
184c727
Update members.yml
rafaelcaue Jul 21, 2023
a95dd39
Update members.md
rafaelcaue Jul 21, 2023
0dbfbc0
Updating Emily's member details
Aug 8, 2023
37d8cee
Reordering. Need to reformat so it orders automatically!
Aug 8, 2023
af71d19
Removing Matt W's dodgy link.
Aug 8, 2023
40a0f7e
Hubs are a bit previous, they are Ex Projects.
Aug 8, 2023
c228901
Update members.yml
mluckcuck Aug 10, 2023
8c67c07
Update members.yml
mluckcuck Aug 10, 2023
736db2b
Update pubs.bib
AngeloFerrando Aug 10, 2023
db59b13
Updating links, affiliations, etc
Aug 10, 2023
d0f6076
Adding Marija
Aug 10, 2023
2169f00
Update members.yml
mluckcuck Aug 10, 2023
ee69893
Add files via upload
michaeldfisher Aug 11, 2023
895a065
Add files via upload
michaeldfisher Aug 11, 2023
fcc16f7
Add files via upload
michaeldfisher Aug 11, 2023
f3b1b45
Add files via upload
michaeldfisher Aug 11, 2023
1ac21cc
Add files via upload
michaeldfisher Aug 11, 2023
b9a679c
Add files via upload
michaeldfisher Aug 11, 2023
97df735
Add files via upload
michaeldfisher Aug 11, 2023
8c7764b
Add files via upload
michaeldfisher Aug 11, 2023
8e79d3f
Add files via upload
michaeldfisher Aug 11, 2023
458ced3
Slimming down cradle logo and removing extra line break after project…
Aug 11, 2023
e6a8e83
Restoring hubs internal page and project card thing. Removing old, mi…
Aug 11, 2023
6c27bad
Updating Matt W's website and Shan's affiliation and website
Aug 22, 2023
7a73cfd
Updating the drab index spiel.
Aug 22, 2023
7b97d3d
Update index.md
michaeldfisher Aug 31, 2023
5a9e0f0
Update members.yml
michaeldfisher Aug 31, 2023
33ac094
Updating Mengwei's affiliation
mluckcuck Sep 26, 2023
375a06e
Update pubs.bib
louiseadennis Oct 24, 2023
6d16baf
Update pubs.bib
louiseadennis Oct 24, 2023
551ecd9
Update _base.scss
louiseadennis Oct 24, 2023
29d82ae
Update pubs.bib
louiseadennis Nov 7, 2023
72b76a5
Update pubs.bib
michaeldfisher Nov 7, 2023
29e13dd
Updating fmas, adding 2023
Nov 24, 2023
5cd1780
Samuele to affiliated
Nov 24, 2023
0ad8790
Yifan Update members.yml
xuLily9 Nov 27, 2023
57a6c4d
Merge pull request #9 from xuLily9/patch-1
mluckcuck Nov 29, 2023
35185c3
Update pubs.bib
louiseadennis Nov 30, 2023
c99d924
Update pubs.bib
louiseadennis Dec 5, 2023
b1f594a
Create interlinked.md
louiseadennis Dec 13, 2023
52e6b9f
Update interlinked.md
louiseadennis Dec 13, 2023
677b2e1
Adding Conor
mluckcuck Dec 14, 2023
40dfff2
Alphabetical Ordering
mluckcuck Dec 14, 2023
ce33f26
Making members list generate in alphabetical order, despite the order…
Jan 3, 2024
2ce3394
Removing Aaron A Arronson, adding intro text to publications.
Jan 3, 2024
da21a4b
Adding Matt Bradbury
mluckcuck Jan 10, 2024
9fd8fd4
Update pubs.bib
louiseadennis Jan 11, 2024
e271c56
Moving Matt W and Peter to Affiliate
mluckcuck Jan 12, 2024
d2d6b65
Update mcapl.md
louiseadennis Jan 30, 2024
7b64c86
Update pubs.bib
louiseadennis Jan 30, 2024
cc97ec8
Update members.yml
rafaelcaue Feb 1, 2024
9bf16ba
Update members.md
rafaelcaue Feb 1, 2024
28e5c9e
Update members.yml
AngeloFerrando Feb 1, 2024
a735f02
Updating to use W3.css for layouts. (Should basically look the same)
Feb 1, 2024
f8049dd
Tidying up stylesheet links
Feb 1, 2024
59cc1ff
Update members.yml
rafaelcaue Feb 11, 2024
f08173f
Update members.md
rafaelcaue Feb 11, 2024
d1ebed7
Update pubs.bib
michaeldfisher Feb 16, 2024
c7a4b31
Update pubs.bib
louiseadennis May 17, 2024
d9ba813
Update mcapl.md
louiseadennis May 17, 2024
6cda486
Update members.yml
mluckcuck Sep 19, 2024
6e9d3ff
Update members.yml
mluckcuck Sep 19, 2024
55fc0cd
Update pubs.bib
michaeldfisher Sep 29, 2024
6d49ed2
Update members.yml
rafaelcaue Oct 7, 2024
de28a15
Update members.yml
rafaelcaue Oct 7, 2024
f3f2471
Update members.yml
rafaelcaue Oct 7, 2024
bb516ba
Update members.yml
rafaelcaue Oct 7, 2024
4513726
Update pubs.bib
louiseadennis Oct 15, 2024
0035555
Update mcapl.md
louiseadennis Oct 22, 2024
a74891a
Alison to Affiliate
mluckcuck Nov 6, 2024
cfca710
Update pubs.bib
louiseadennis Nov 18, 2024
69368bf
Adding Ray
mluckcuck Nov 20, 2024
c8d8db9
Update members.yml
sameysimon Nov 20, 2024
3ddf1bb
Update pubs.bib
michaeldfisher Jan 21, 2025
f667623
Update pubs.bib
louiseadennis Jan 23, 2025
fede9e9
Update pubs.bib
louiseadennis Jan 23, 2025
9ff7e61
Update pubs.bib
louiseadennis Jan 23, 2025
3c54029
Update members.yml
rafaelcaue Feb 6, 2025
d5cf052
Update members.yml
rafaelcaue Feb 10, 2025
79812ce
Update pubs.bib
louiseadennis Feb 11, 2025
c4ccdc4
Update _base.scss
louiseadennis Feb 11, 2025
ea33912
Update _base.scss
louiseadennis Feb 11, 2025
5e8c92a
Update pubs.bib
louiseadennis Feb 11, 2025
7a6f5c2
Update pubs.bib
louiseadennis Feb 11, 2025
a4fac3d
Update pubs.bib
louiseadennis Feb 11, 2025
51347c1
Update pubs.bib
louiseadennis Feb 11, 2025
d40b339
Update pubs.bib
louiseadennis Jun 16, 2025
b337af0
Update pubs.bib
louiseadennis Jun 16, 2025
c4011a2
Update pubs.bib
louiseadennis Jun 16, 2025
d6be4b9
Update pubs.bib
louiseadennis Jun 16, 2025
028e7bd
Rearranging members in the list
Jun 17, 2025
4fce2da
Final section
Jun 17, 2025
8ee5a54
Typo
Jun 17, 2025
3898a08
Updating Ramin's websites, the original link was already down...
Jun 17, 2025
ca9a9f6
Adding orcid for Mehran
Jun 17, 2025
f674d34
Update members.yml
mluckcuck Jun 18, 2025
d0068d7
Merging the Hallams!
mluckcuck Jun 18, 2025
ca48524
Update pubs.bib
louiseadennis Jun 19, 2025
cd240c0
Update pubs.bib
louiseadennis Jun 19, 2025
3790f6f
Update pubs.bib
michaeldfisher Jul 3, 2025
ac0bc09
Update pubs.bib
michaeldfisher Jul 3, 2025
c8552aa
Update pubs.bib
michaeldfisher Jul 3, 2025
3067a82
Update pubs.bib
michaeldfisher Jul 3, 2025
23d1d4e
Update pubs.bib
michaeldfisher Jul 3, 2025
9c13b11
Update pubs.bib
michaeldfisher Jul 3, 2025
3f9b366
Update pubs.bib
michaeldfisher Jul 3, 2025
52f1c25
Update pubs.bib
michaeldfisher Jul 3, 2025
b19ba8d
Update pubs.bib
michaeldfisher Jul 3, 2025
0af74e2
Fixing the title in KDF-monodic2025
mluckcuck Jul 3, 2025
1e514b9
adding Long Le
Jul 11, 2025
6a09513
Update members.yml
mluckcuck Jul 14, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
4 changes: 3 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,6 @@ vendor/ruby
Gemfile.lock
images/image_optim_cache.yml
.jekyll-metadata
.directory
.director
.jekyll-cache
.jekyll-cache/*

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

Loading