@inproceedings{niu2018secure,
	title={Secure control under linear temporal logic constraints},
	author={Niu, Luyao and Clark, Andrew},
	booktitle={IEEE American Control Conference (ACC)},
	pages={3544--3551},
	year={2018},
	organization={IEEE},
	doi={10.23919/ACC.2018.8431595}
}

{"_id":"JnbXJs4mBJzSMv7RC","bibbaseid":"niu-clark-securecontrolunderlineartemporallogicconstraints-2018","author_short":["Niu, L.","Clark, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Secure control under linear temporal logic constraints","author":[{"propositions":[],"lastnames":["Niu"],"firstnames":["Luyao"],"suffixes":[]},{"propositions":[],"lastnames":["Clark"],"firstnames":["Andrew"],"suffixes":[]}],"booktitle":"IEEE American Control Conference (ACC)","pages":"3544–3551","year":"2018","organization":"IEEE","doi":"10.23919/ACC.2018.8431595","bibtex":"@inproceedings{niu2018secure,\n\ttitle={Secure control under linear temporal logic constraints},\n\tauthor={Niu, Luyao and Clark, Andrew},\n\tbooktitle={IEEE American Control Conference (ACC)},\n\tpages={3544--3551},\n\tyear={2018},\n\torganization={IEEE},\n\tdoi={10.23919/ACC.2018.8431595}\n}\n\n","author_short":["Niu, L.","Clark, A."],"key":"niu2018secure","id":"niu2018secure","bibbaseid":"niu-clark-securecontrolunderlineartemporallogicconstraints-2018","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/luyaoniu/luyaoniu.github.io/master/mybib.bib","dataSources":["58Anm7STfQemEBcZk","oECu54sJeYTdYFfio","TqbjGvwzJmtfXYTWt","DDAEDmn7aSXo4DbzP","vcsQ4mayZcw4Mriqm","K4NYWsCjKhKBwxuoo","yR52RFn9h9YPDpnMf","ya2CyA73rpZseyrZ8","YcYEQEQwKynzxML7W"],"keywords":[],"search_terms":["secure","control","under","linear","temporal","logic","constraints","niu","clark"],"title":"Secure control under linear temporal logic constraints","year":2018}