Monitoring ICAROUS: From Requirements to Autonomous Flight

You are here: Homepage > Search

Monitoring ICAROUS: From Requirements to Autonomous Flight

Swee Balachandran / Esther Conrad / Aaron Dutle / Dimitra Giannakopoulou / Alwyn Goodloe / Anastasia Mavridou / Cesar Munoz / Ivan Perez / Laura Titolo / Thomas Theo Pressburger

Access

Access via TIB

Export, share and cite

Document information

Title :

Monitoring ICAROUS: From Requirements to Autonomous Flight

Contributors:

Swee Balachandran (author) / Esther Conrad (author) / Aaron Dutle (author) / Dimitra Giannakopoulou (author) / Alwyn Goodloe (author) / Anastasia Mavridou (author) / Cesar Munoz (author) / Ivan Perez (author) / Laura Titolo (author) / Thomas Theo Pressburger (author)

Publication date :

2020-12-07

Type of media :

Audio-visual

Type of material :

No indication

Language :

English

Keywords :

runtime verification , requirements elicitation , autonomous systems , formal methods , Computer Programming And Software