1.1k citations
- Data61AU61 papers
- Commonwealth Scientific and Industrial Research OrganisationAU44 papers
- Australia Telescope National FacilityAU31 papers
- Australian National UniversityAU28 papers
- Centre for Quantum Computation and Communication TechnologyAU26 papers
- The University of SydneyAU26 papers
- Swinburne University of TechnologyAU23 papers
- Centre National de la Recherche ScientifiqueFR22 papers
- Australian Defence Force AcademyAU18 papers
- The University of MelbourneAU17 papers
- The University of QueenslandAU17 papers
- Australian Research CouncilAU15 papers
Showing 2012 · cs.LOShow all
3 papers · 2 filters
cs.LO2012★ 18 cited
Verifying Probabilistic Correctness in Isabelle with pGCL
David Cock
This paper presents a formalisation of pGCL in Isabelle/HOL. Using a shallow embedding, we demonstrate close integration with existing automation support. We demonstrate the facili…
cs.LO2012
Probabilities on Sentences in an Expressive Logic
Marcus Hutter, John W. Lloyd, Kee Siong Ng +1
Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and p…
cs.LO2012★ 3 cited
On Distributability of Petri Nets
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and prec…