Gal Amram

Available identifiers

zbMath Open amram.galMaRDI QIDQ832234

List of research outcomes

Publication	Date of Publication	Type
GR(1)*: GR(1) specifications extended with existential guarantees	2024-03-14	Paper
Efficient Algorithms for Omega-Regular Energy Games	2023-04-21	Paper
Adapting behaviors via reactive synthesis	2022-03-25	Paper
GR(1)*: GR(1) specifications extended with existential guarantees	2021-09-14	Paper
A Cycle Joining Construction of the Prefer-Max De Bruijn Sequence	2021-04-07	Paper
An efficient generalized shift-rule for the prefer-max de Bruijn sequence	2019-12-17	Paper
De Bruijn Sequences: From Games to Shift-Rules to a Proof of the Fredricksen-Kessler-Maiorana Theorem	2018-05-07	Paper
Two-process synchronization	2017-06-19	Paper
The F-Snapshot Problem	2016-12-01	Paper
On the Signaling Problem	2015-02-04	Paper

Research outcomes over time

This page was built for person: Gal Amram