issues
search
tbohne
/
msc
Master's Thesis at Osnabrueck University / DFKI
0
stars
0
forks
source link
Idea: Logic formulation
#158
Closed
tbohne
closed
2 years ago
tbohne
commented
2 years ago
after I have identified all the LTA issues that can lead to a contingency, I can formulate it similarly
e.g. contingency if (p_sensor OR p_navigation OR p_charging...)