How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
Not affiliated with university, anymore, but still interested in science and open-source projects. Please, contact me if you find my work on BDDs, temporal logic, model checking and job shop scheduling usable.
February 2019 - February 2021
Milan Vidmar Electric Power Research Institute