• Sign in
  • Sign up
conf.researchr.org / Jana Tumova
  • * ICSE 2018 * profile
  • ICSE 2022 profile

Not registered as user yet

Name:Jana Tumova
Affiliation:KTH Royal Institute of Technology, Sweden

Contributions

2022

FormaliSE

  • Keynote Speaker of Formal Methods for Dealing with Traffic Rules in Autonomous Driving within the FormaliSE 2022-track

2018

ICSE

  • Author of Poster F53: Towards Multi-Robot Applications Planning Under Uncertainty within the Posters -track

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2018-track
Share
xSun 10 Dec 15:35
using conf.researchr.org (v1.62.0)
Support page
Sign Up