Dror Fried

activity

20122026

most citedAdapting Behaviors via Reactive Synthesis

1 citations · 2 across the 6 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.LO2026

On-the-fly LTLf Synthesis under Partial Observability

Nadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz +4

LTLf synthesis under partial observability requires reasoning about unobservable environment variables, which is typically handled by constructing a belief-state DFA via subset con…

cs.LO2026

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse

Uriya Bartal, Dror Fried, Jean-Marie Lagniez

Model counting ( $# SAT$ ) is a fundamental yet $# P$ -complete problem central to probabilistic reasoning. In this work, we address \textit{incremental model counting},…