In *2018 IEEE Conference on Control Technology and Applications (CCTA)*, pages 1502–1507, 2018. IEEE. tex.ids= jasimFormalVerificationQuadcopter2018a, jasimFormalVerificationQuadcopter2018b, jasim_formal_2018

doi bibtex

doi bibtex

@inproceedings{jasim_formal_2018, title = {Formal verification of quadcopter flight envelop using theorem prover}, doi = {10/ghwkqt}, booktitle = {2018 {IEEE} {Conference} on {Control} {Technology} and {Applications} ({CCTA})}, publisher = {IEEE}, author = {Jasim, Omar A. and Veres, Sandor M.}, year = {2018}, note = {tex.ids= jasimFormalVerificationQuadcopter2018a, jasimFormalVerificationQuadcopter2018b, jasim\_formal\_2018}, pages = {1502--1507}, }

Downloads: 0