63 citations · 383 across the 27 of their papers we have counts for
31 papers
On Specifying for Trustworthiness
Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance +12
As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first ne…
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games
Gal Amram, Shahar Maoz, Or Pistiner +1
-regular energy games, which are weighted two-player turn-based games with the quantitative objective to keep the energy levels non-negative, have been used in the context of ve…
Spectra: A Specification Language for Reactive Systems
Shahar Maoz, Jan Oliver Ringert
Spectra is a new specification language for reactive systems, specifically tailored for the context of reactive synthesis. The meaning of Spectra is defined by a translation to a k…
Performance Heuristics for GR(1) Synthesis and Related Algorithms
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Reactive synthesis for the GR(1) fragment of LTL has been implemented and studied in many works. In this workshop paper we present and evaluate a list of heuristics to potentially…
Symbolic BDD and ADD Algorithms for Energy Games
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Energy games, which model quantitative consumption of a limited resource, e.g., time or energy, play a central role in quantitative models for reactive systems. Reactive synthesis…
Synthesizing a Lego Forklift Controller in GR(1): A Case Study
Shahar Maoz, Jan Oliver Ringert
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given specification. GR(1) is a well-known fragment of linear temporal logic…