- Exact Exploration Andreas Blass Nachum Dershowitz Yuri Gurevich Sat 26 October 2024
- WikiCoder: Learning to Write Knowledge-Powered Code Théo Matricon Nathanael Fijalkow Gaetan Margueritte Thu 23 November 2023
- Timed I/O Automata: It is never too late to complete your timed specification theory Martijn A. Goorden Kim G. Larsen Axel Legay Florian Lorber Ulrik Nyman Andrzej Wasowski Sat 15 July 2023
- Decentralized Observation of Discrete-Event Systems: At Least One Can Tell Stavros Tripakis Karen Rudie Mon 16 August 2021
- Inductive Reachability Witnesses Ali Asadi Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady Mohammad Mahdavi Sat 01 August 2020
- How to generate random lambda terms Maciej Bendkowski Tue 19 May 2020
- Featured Games Uli Fahrenberg Axel Legay Wed 13 May 2020
- Learning Timed Automata via Genetic Programming Martin Tappler Bernhard K. Aichernig Kim Guldstrand Larsen Florian Lorber Mon 06 January 2020
- A Survey on Theorem Provers in Formal Methods M. Saqib Nawaz Moin Malik Yi Li Meng Sun M. Ikram Ullah Lali Wed 11 December 2019
- On the k-synchronizability for mailbox systems Cinzia Di Giusto Laetitia Laversa Etienne Lozes Thu 05 September 2019
Library Size: 13G (10 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
