Keyword:formal models

Publications
Game Modeling of Blockchain Protocols Sophie Rain, Anja Petković Komel, Michael Rawson and Laura Kovács EasyChair Preprint 16006
Automated Formalization of Biological Model Properties into Temporal Logics Using Large Language Models Sumit Kumar Jha, Pranav Sinha and Sunny Raj EasyChair Preprint 11514