Srajan Goyal

According to our database, Srajan Goyal authored at least 3 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.

Srajan Goyal, Alberto Griggio, Stefano Tonetta

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2023

Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems.

Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

2019

Hybrid derivative functions for identification of unknown loads and physical parameters with application on slider-crank mechanism.

Wannes De Groote, Edward Kikken, Srajan Goyal, Sofie Van Hoecke, Erik Hostens, Guillaume Crevecoeur

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2019