IST Austria, Österreich

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
IST Austria, Österreich
 

OrgUnit's Publications


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1ICRA2020_paper.pdf.jpgLechner, Mathias ; Hasani, Ramin ; Rus, Daniela ; Grosu, Radu Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning SchemeInproceedings Konferenzbeitrag 31-Aug-2020
221_Formal Methods with a Touch of Magic.pdf.jpgAlamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna Formal Methods with a Touch of MagicKonferenzbeitrag Inproceedings 2020