Open Projects in ISS
ISS has a lot of projects available for undergraduates, master students, and interns. If you are interested in working on one of them, feel free to contact us.
General Topics
Available Projects
- Automating the extraction or learning of hybrid automata from simulation data
- Autonomous navigation of autonomous vehicles based on Laser SLAM
- Learning automata models from ISS
- LTLf synthesis for motion planning in autonomous vehicles
- MDP modelling for motion planning in autonomous racing cars
- Motion planning
- Neural network-based control and planning system verification
- Neural network verification
- Shielding
- Tool support for hybrid automata modelling in autonomous driving