@inproceedings{dblp-conf-cpsweek-anandm0z21,
  title = {Formal verification of hyperproperties for control systems},
  author = {Mahathi Anand and Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2021},
  url = {https://dblp.org/rec/conf/cpsweek/AnandM0Z21},
  booktitle = {CAADCPS@CPSIoTWeek 2021}
}