A double-level model checking approach for an agent-based autonomous vehicle and road junction regulations
A study of fall detection in assisted living: identifying and improving the optimal machine learning method
Human-robot collaboration trends and safety aspects: a systematic review
Hybrid verification technique for decision-making of self-driving vehicles