CERES Home
→
School of Aerospace, Transport and Manufacturing (SATM)
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:









New Filters:

Showing 1 out of a total of 1 results for community: School of Aerospace, Transport and Manufacturing (SATM). (0.009 seconds)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Verifying collision avoidance behaviours for unmanned surface vehicles using probabilistic model checking

Lu, Yu; Niu, Hanlin; Savvaris, Al; Tsourdos, Antonios (Elsevier, 2016-09-30)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of CERES
This Community

My Account

Login

Discover

Author
- Lu, Yu (1)
- Niu, Hanlin (1)
- Savvaris, Al (1)
- Tsourdos, Antonios (1)
Subject
- collision avoidance (1)
- formal methods (1)
- probabilistic model checking (1)
- probabilistic timed automata (1)
- unmanned surface vehicles (1)
- ... View More
Date Issued
- 2016 (1)