6 citations · 16 across the 6 of their papers we have counts for
6 papers
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano +1
We present a novel approach to differential cost analysis that, given a program revision, attempts to statically bound the difference in resource usage, or cost, between the two pr…
Teaching Functional Patterns through Robotic Applications
J. Boender, E. Currie, M. Loomes +2
We present our approach to teaching functional programming to First Year Computer Science students at Middlesex University through projects in robotics. A holistic approach is take…
The packing chromatic number of the infinite square lattice is between 13 and 15
Barnaby Martin, Franco Raimondi, Taolue Chen +1
Using a SAT-solver on top of a partial previously-known solution we improve the upper bound of the packing chromatic number of the infinite square lattice from 17 to 15. We discuss…
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources
Natasha Alechina, Brian Logan, Hoang Nga Nguyen +1
Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resour…
Domain Types: Selecting Abstractions Based on Variable Usage
Sven Apel, Dirk Beyer, Karlheinz Friedberger +2
The success of software model checking depends on finding an appropriate abstraction of the subject program. The choice of the abstract domain and the analysis configuration is cur…
Reasoning about Strategies under Partial Observability and Fairness Constraints
Simon Busard, Charles Pecheur, Hongyang Qu +1
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unifi…