Author

H. Frenkel

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

A Hyper-Logical View on Multi-Agent Path Planning

This paper shows that many MAPP variants can be modeled in HyperLTL, a temporal logic that reasons about multiple paths and their evolution through time, and in its omega-regular extension HyperQPTL, a complementary, specification-centered view.

H. Frenkel, Dor Atzmon · 0 citations