Or Pistiner

According to our database, Or Pistiner authored at least 5 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Triggers for Reactive Synthesis Specifications.

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021

Efficient Algorithms for Omega-Regular Energy Games.

Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

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

Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

CoRR, 2020

2019

GR(1)*: GR(1) Specifications Extended with Existential Guarantees.

Gal Amram, Shahar Maoz, Or Pistiner

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2016

Symbolic BDD and ADD Algorithms for Energy Games.

Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016