Shahar Maoz | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Jan Oliver Ringert
4 publications
Gal Amram
3 publications
Elizabeth Firman
1 publication
Rafi Shalom
1 publication
Or Pistiner
1 publication

research

∙ 02/27/2021

Unrealizable Cores for Reactive Systems Specifications

One of the main challenges of reactive synthesis, an automated procedure...

0 Shahar Maoz, et al. ∙

research

∙ 05/01/2020

Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games

ω-regular energy games, which are weighted two-player turn-based games w...

0 Gal Amram, et al. ∙

research

∙ 04/14/2019

Spectra: A Specification Language for Reactive Systems

Spectra is a new specification language for reactive systems, specifical...

0 Shahar Maoz, et al. ∙

research

∙ 11/29/2017

Performance Heuristics for GR(1) Synthesis and Related Algorithms

Reactive synthesis for the GR(1) fragment of LTL has been implemented an...

0 Elizabeth Firman, et al. ∙