Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jana Tumova
conf.researchr.org general profile
* 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
x
Tue 15 Oct 07:32