newest pdf

LaTeX2e+Proceedings+Templates+download/references.bib

@@ -604,18 +604,6 @@ keywords = {Safety interlock system, Symbolic model checking, Safety verificatio
 abstract = {The safety interlock system (SIS) is one of the most important protective measurements in industrial processes that provide automatic actions to correct an abnormal plant event. This paper considers the use of formal techniques based on symbolic model checking and computation tree logic (CTL) in the specification to automatically verify the SIS for industrial processes. It addresses the problem of modelling industrial processes and presenting the SIS in CTL. It shows how symbolic model checking can be used efficiently in the verification of a SIS. A transferring system for a penicillin process is used as a case study.}
 }
 
-@inproceedings{austin2023structureddenoisingdiffusionmodels,
- author = {Austin, Jacob and Johnson, Daniel D. and Ho, Jonathan and Tarlow, Daniel and van den Berg, Rianne},
- booktitle = {Advances in Neural Information Processing Systems},
- editor = {M. Ranzato and A. Beygelzimer and Y. Dauphin and P.S. Liang and J. Wortman Vaughan},
- pages = {17981--17993},
- publisher = {Curran Associates, Inc.},
- title = {Structured Denoising Diffusion Models in Discrete State-Spaces},
- url = {https://proceedings.neurips.cc/paper_files/paper/2021/file/958c530554f78bcd8e97125b70e6973d-Paper.pdf},
- volume = {34},
- year = {2021}
-}
-
 @article{10.1145/1151659.1159928,
 author = {Vishwanath, Kashi Venkatesh and Vahdat, Amin},
 title = {Realistic and responsive network traffic generation},