Or Pistiner

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

Collaborative distances:

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

2024

Triggers for Reactive Synthesis Specifications.

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

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

2021

GR(1)*: GR(1) specifications extended with existential guarantees.

Gal Amram, Shahar Maoz, Or Pistiner

Formal Aspects Comput., 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

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