@article{dblp-journals-tac-anandmtz24,
  title = {Verification of Hyperproperties for Dynamical Systems via Barrier Certificates},
  author = {Mahathi Anand and Vishnu Murali and Ashutosh Trivedi and Majid Zamani},
  year = {2024},
  url = {https://dblp.org/rec/journals/tac/AnandMTZ24},
  journal = {IEEE Trans. Autom. Control. 69 ( 10 )}
}