Inproceedings,

Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances.

, , , and .
RiTA, volume 274 of Advances in Intelligent Systems and Computing, page 531-543. Springer, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews