Modelling safety distance rule-based automatic emergency braking systems using fuzzy timed petri nets
Fields of Study & Subjects
Petri Nets in System Modeling
Traffic control and management
Formal Methods in Verification
Publication details
- Journal / source
- Information Sciences
- Volume
- 739
- Pages
- 123185–123185
- Publication date
- 3 February 2026
- Language
- EN