BibTeX records: Roni Stern

download as .bib file

@article{DBLP:journals/sosym/BragilovskiSS24,
  author       = {Maxim Bragilovski and
                  Roni Stern and
                  Arnon Sturm},
  title        = {How do {I} find reusable models?},
  journal      = {Softw. Syst. Model.},
  volume       = {23},
  number       = {1},
  pages        = {85--102},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10270-023-01103-7},
  doi          = {10.1007/S10270-023-01103-7},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sosym/BragilovskiSS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeJS24,
  author       = {Hai S. Le and
                  Brendan Juba and
                  Roni Stern},
  editor       = {Michael J. Wooldridge and
                  Jennifer G. Dy and
                  Sriraam Natarajan},
  title        = {Learning Safe Action Models with Partial Observability},
  booktitle    = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2024, Thirty-Sixth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
                  Canada},
  pages        = {20159--20167},
  publisher    = {{AAAI} Press},
  year         = {2024},
  url          = {https://doi.org/10.1609/aaai.v38i18.29995},
  doi          = {10.1609/AAAI.V38I18.29995},
  timestamp    = {Tue, 02 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/LeJS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-15251,
  author       = {Argaman Mordoch and
                  Enrico Scala and
                  Roni Stern and
                  Brendan Juba},
  title        = {Safe Learning of {PDDL} Domains with Conditional Effects - Extended
                  Version},
  journal      = {CoRR},
  volume       = {abs/2403.15251},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.15251},
  doi          = {10.48550/ARXIV.2403.15251},
  eprinttype    = {arXiv},
  eprint       = {2403.15251},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-15251.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NatanSK23,
  author       = {Avraham Natan and
                  Roni Stern and
                  Meir Kalech},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Distributed Spectrum-Based Fault Localization},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {6491--6498},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i5.25798},
  doi          = {10.1609/AAAI.V37I5.25798},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/NatanSK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MordochJS23,
  author       = {Argaman Mordoch and
                  Brendan Juba and
                  Roni Stern},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Learning Safe Numeric Action Models},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {12079--12086},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i10.26424},
  doi          = {10.1609/AAAI.V37I10.26424},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MordochJS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/WangBHKS23,
  author       = {Shuwei Wang and
                  Vadim Bulitko and
                  Taoan Huang and
                  Sven Koenig and
                  Roni Stern},
  editor       = {Markus Eger and
                  Rogelio Enrique Cardona{-}Rivera},
  title        = {Synthesizing Priority Planning Formulae for Multi-Agent Pathfinding},
  booktitle    = {Proceedings of the {AAAI} Conference on Artificial Intelligence and
                  Interactive Digital Entertainment, October 08-12, 2023, Salt Lake
                  City, UT, {USA}},
  pages        = {360--369},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aiide.v19i1.27532},
  doi          = {10.1609/AIIDE.V19I1.27532},
  timestamp    = {Wed, 31 Jan 2024 07:43:18 +0100},
  biburl       = {https://dblp.org/rec/conf/aiide/WangBHKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ShoferSS23,
  author       = {Bar Shofer and
                  Guy Shani and
                  Roni Stern},
  editor       = {Sven Koenig and
                  Roni Stern and
                  Mauro Vallati},
  title        = {Multi Agent Path Finding under Obstacle Uncertainty},
  booktitle    = {Proceedings of the Thirty-Third International Conference on Automated
                  Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
  pages        = {402--410},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/icaps.v33i1.27219},
  doi          = {10.1609/ICAPS.V33I1.27219},
  timestamp    = {Wed, 20 Sep 2023 11:58:30 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/ShoferSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PiotrowskiSGSM23,
  author       = {Wiktor Piotrowski and
                  Yoni Sher and
                  Sachin Grover and
                  Roni Stern and
                  Shiwali Mohan},
  editor       = {Sven Koenig and
                  Roni Stern and
                  Mauro Vallati},
  title        = {Heuristic Search for Physics-Based Problems: Angry Birds in {PDDL+}},
  booktitle    = {Proceedings of the Thirty-Third International Conference on Automated
                  Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
  pages        = {518--526},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/icaps.v33i1.27232},
  doi          = {10.1609/ICAPS.V33I1.27232},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/PiotrowskiSGSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/NatanSK23,
  author       = {Avraham Natan and
                  Roni Stern and
                  Meir Kalech},
  editor       = {Noa Agmon and
                  Bo An and
                  Alessandro Ricci and
                  William Yeoh},
  title        = {Blame Attribution for Multi-Agent Pathfinding Execution Failures},
  booktitle    = {Proceedings of the 2023 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
                  2023 - 2 June 2023},
  pages        = {2358--2360},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://dl.acm.org/doi/10.5555/3545946.3598933},
  doi          = {10.5555/3545946.3598933},
  timestamp    = {Tue, 23 May 2023 14:27:14 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/NatanSK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/PiotrowskiSSLKK23,
  author       = {Wiktor Piotrowski and
                  Roni Stern and
                  Yoni Sher and
                  Jacob Le and
                  Matthew Klenk and
                  Johan de Kleer and
                  Shiwali Mohan},
  editor       = {Noa Agmon and
                  Bo An and
                  Alessandro Ricci and
                  William Yeoh},
  title        = {Learning to Operate in Open Worlds by Adapting Planning Models},
  booktitle    = {Proceedings of the 2023 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
                  2023 - 2 June 2023},
  pages        = {2610--2612},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://dl.acm.org/doi/10.5555/3545946.3599018},
  doi          = {10.5555/3545946.3599018},
  timestamp    = {Tue, 23 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/PiotrowskiSSLKK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dai2/Son0SK23,
  author       = {Tran Cao Son and
                  William Yeoh and
                  Roni Stern and
                  Meir Kalech},
  title        = {Multi-Agent Planning and Diagnosis with Commonsense Reasoning},
  booktitle    = {The Fifth International Conference on Distributed Artificial Intelligence,
                  {DAI} 2023, Singapore, 30 November 2023 - 3 December 2023},
  pages        = {5:1--5:9},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3627676.3627690},
  doi          = {10.1145/3627676.3627690},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dai2/Son0SK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NatanSK23,
  author       = {Avraham Natan and
                  Roni Stern and
                  Meir Kalech},
  editor       = {Kobi Gal and
                  Ann Now{\'{e}} and
                  Grzegorz J. Nalepa and
                  Roy Fairstein and
                  Roxana Radulescu},
  title        = {Blame Attribution for Multi-Agent Path Finding Execution Failures},
  booktitle    = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
                  September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
                  12th Conference on Prestigious Applications of Intelligent Systems
                  {(PAIS} 2023)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {372},
  pages        = {1763--1770},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230462},
  doi          = {10.3233/FAIA230462},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/NatanSK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ChanSFK23,
  author       = {Shao{-}Hung Chan and
                  Roni Stern and
                  Ariel Felner and
                  Sven Koenig},
  editor       = {Roman Bart{\'{a}}k and
                  Wheeler Ruml and
                  Oren Salzman},
  title        = {Greedy Priority-Based Search for Suboptimal Multi-Agent Path Finding},
  booktitle    = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
                  2023, July 14-16, 2023, Prague, Czech Republic},
  pages        = {11--19},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/socs.v16i1.27278},
  doi          = {10.1609/SOCS.V16I1.27278},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/ChanSFK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/MoragSF23,
  author       = {Jonathan Morag and
                  Roni Stern and
                  Ariel Felner},
  editor       = {Roman Bart{\'{a}}k and
                  Wheeler Ruml and
                  Oren Salzman},
  title        = {Adapting to Planning Failures in Lifelong Multi-Agent Path Finding},
  booktitle    = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
                  2023, July 14-16, 2023, Prague, Czech Republic},
  pages        = {47--55},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/socs.v16i1.27282},
  doi          = {10.1609/SOCS.V16I1.27282},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/MoragSF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/PiotrowskiSGSM23,
  author       = {Wiktor Piotrowski and
                  Yoni Sher and
                  Sachin Grover and
                  Roni Stern and
                  Shiwali Mohan},
  editor       = {Roman Bart{\'{a}}k and
                  Wheeler Ruml and
                  Oren Salzman},
  title        = {Heuristic Search for Physics-Based Problems: Angry Birds in {PDDL+}
                  [Extended Abstract]},
  booktitle    = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
                  2023, July 14-16, 2023, Prague, Czech Republic},
  pages        = {179--180},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/socs.v16i1.27303},
  doi          = {10.1609/SOCS.V16I1.27303},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/PiotrowskiSGSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2023,
  editor       = {Sven Koenig and
                  Roni Stern and
                  Mauro Vallati},
  title        = {Proceedings of the Thirty-Third International Conference on Automated
                  Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://ojs.aaai.org/index.php/ICAPS/issue/view/562},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14272,
  author       = {Wiktor Piotrowski and
                  Roni Stern and
                  Yoni Sher and
                  Jacob Le and
                  Matthew Klenk and
                  Johan de Kleer and
                  Shiwali Mohan},
  title        = {Learning to Operate in Open Worlds by Adapting Planning Models},
  journal      = {CoRR},
  volume       = {abs/2303.14272},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.14272},
  doi          = {10.48550/ARXIV.2303.14272},
  eprinttype    = {arXiv},
  eprint       = {2303.14272},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-14272.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16967,
  author       = {Wiktor Piotrowski and
                  Yoni Sher and
                  Sachin Grover and
                  Roni Stern and
                  Shiwali Mohan},
  title        = {Heuristic Search For Physics-Based Problems: Angry Birds in {PDDL+}},
  journal      = {CoRR},
  volume       = {abs/2303.16967},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.16967},
  doi          = {10.48550/ARXIV.2303.16967},
  eprinttype    = {arXiv},
  eprint       = {2303.16967},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-16967.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06272,
  author       = {Shiwali Mohan and
                  Wiktor Piotrowski and
                  Roni Stern and
                  Sachin Grover and
                  Sookyung Kim and
                  Jacob Le and
                  Johan de Kleer},
  title        = {A Domain-Independent Agent Architecture for Adaptive Operation in
                  Evolving Open Worlds},
  journal      = {CoRR},
  volume       = {abs/2306.06272},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.06272},
  doi          = {10.48550/ARXIV.2306.06272},
  eprinttype    = {arXiv},
  eprint       = {2306.06272},
  timestamp    = {Fri, 16 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-06272.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-10705,
  author       = {Argaman Mordoch and
                  Shahaf S. Shperberg and
                  Roni Stern and
                  Brendan Juba},
  title        = {Enhancing Numeric-SAM for Learning with Few Observations},
  journal      = {CoRR},
  volume       = {abs/2312.10705},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.10705},
  doi          = {10.48550/ARXIV.2312.10705},
  eprinttype    = {arXiv},
  eprint       = {2312.10705},
  timestamp    = {Tue, 16 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-10705.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/HefnerSS22,
  author       = {Tommy Hefner and
                  Guy Shani and
                  Roni Stern},
  title        = {Privacy preserving planning in multi-agent stochastic environments},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {36},
  number       = {1},
  pages        = {22},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10458-022-09554-w},
  doi          = {10.1007/S10458-022-09554-W},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aamas/HefnerSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/LehmanSS22,
  author       = {Rotem Lev Lehman and
                  Guy Shani and
                  Roni Stern},
  title        = {Reducing disclosed dependencies in privacy preserving planning},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {36},
  number       = {2},
  pages        = {52},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10458-022-09581-7},
  doi          = {10.1007/S10458-022-09581-7},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aamas/LehmanSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AndreychukYSAS22,
  author       = {Anton Andreychuk and
                  Konstantin S. Yakovlev and
                  Pavel Surynek and
                  Dor Atzmon and
                  Roni Stern},
  title        = {Multi-agent pathfinding with continuous time},
  journal      = {Artif. Intell.},
  volume       = {305},
  pages        = {103662},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.artint.2022.103662},
  doi          = {10.1016/J.ARTINT.2022.103662},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AndreychukYSAS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SurynekSBF22,
  author       = {Pavel Surynek and
                  Roni Stern and
                  Eli Boyarski and
                  Ariel Felner},
  title        = {Migrating Techniques from Search-based Multi-Agent Path Finding Solvers
                  to SAT-based Approach},
  journal      = {J. Artif. Intell. Res.},
  volume       = {73},
  pages        = {553--618},
  year         = {2022},
  url          = {https://doi.org/10.1613/jair.1.13318},
  doi          = {10.1613/JAIR.1.13318},
  timestamp    = {Fri, 25 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/SurynekSBF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/LevySSMB22,
  author       = {Yarden Levy and
                  Roni Stern and
                  Arnon Sturm and
                  Argaman Mordoch and
                  Yuval Bitan},
  title        = {An impact-driven approach to predict user stories instability},
  journal      = {Requir. Eng.},
  volume       = {27},
  number       = {2},
  pages        = {231--248},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00766-022-00372-w},
  doi          = {10.1007/S00766-022-00372-W},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/re/LevySSMB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JubaS22,
  author       = {Brendan Juba and
                  Roni Stern},
  title        = {Learning Probably Approximately Complete and Safe Action Models for
                  Stochastic Worlds},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {9795--9804},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i9.21215},
  doi          = {10.1609/AAAI.V36I9.21215},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/JubaS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/MoragFSAB22,
  author       = {Jonathan Morag and
                  Ariel Felner and
                  Roni Stern and
                  Dor Atzmon and
                  Eli Boyarski},
  editor       = {Luk{\'{a}}s Chrpa and
                  Alessandro Saetti},
  title        = {Online Multi-Agent Path Finding: New Results},
  booktitle    = {Proceedings of the Fifteenth International Symposium on Combinatorial
                  Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
  pages        = {229--233},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/socs.v15i1.21772},
  doi          = {10.1609/SOCS.V15I1.21772},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/MoragFSAB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/LevySS22,
  author       = {Elad Levy and
                  Guy Shani and
                  Roni Stern},
  editor       = {Luk{\'{a}}s Chrpa and
                  Alessandro Saetti},
  title        = {An Online Approach for Multi-Agent Path Finding Under Movement Uncertainty
                  (Extended Abstract)},
  booktitle    = {Proceedings of the Fifteenth International Symposium on Combinatorial
                  Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
  pages        = {299--301},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/socs.v15i1.21792},
  doi          = {10.1609/SOCS.V15I1.21792},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/LevySS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-12499,
  author       = {Brendan Juba and
                  Roni Stern},
  title        = {An Example of the {SAM+} Algorithm for Learning Action Models for
                  Stochastic Worlds},
  journal      = {CoRR},
  volume       = {abs/2203.12499},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.12499},
  doi          = {10.48550/ARXIV.2203.12499},
  eprinttype    = {arXiv},
  eprint       = {2203.12499},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-12499.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SternGSF21,
  author       = {Roni Stern and
                  Meir Goldenberg and
                  Abdallah Saffidine and
                  Ariel Felner},
  title        = {Heuristic search for one-to-many shortest path queries},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {89},
  number       = {12},
  pages        = {1175--1214},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10472-021-09775-x},
  doi          = {10.1007/S10472-021-09775-X},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/SternGSF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ShaharSASJS21,
  author       = {Tomer Shahar and
                  Shashank Shekhar and
                  Dor Atzmon and
                  Abdallah Saffidine and
                  Brendan Juba and
                  Roni Stern},
  title        = {Safe Multi-Agent Pathfinding with Time Uncertainty},
  journal      = {J. Artif. Intell. Res.},
  volume       = {70},
  pages        = {923--954},
  year         = {2021},
  url          = {https://doi.org/10.1613/jair.1.12397},
  doi          = {10.1613/JAIR.1.12397},
  timestamp    = {Sat, 12 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/ShaharSASJS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AndreychukYBS21,
  author       = {Anton Andreychuk and
                  Konstantin S. Yakovlev and
                  Eli Boyarski and
                  Roni Stern},
  title        = {Improving Continuous-time Conflict Based Search},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {11220--11227},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i13.17338},
  doi          = {10.1609/AAAI.V35I13.17338},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AndreychukYBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BoultGPSHAJADLC21,
  author       = {Terrance E. Boult and
                  Przemyslaw A. Grabowicz and
                  Derek S. Prijatelj and
                  Roni Stern and
                  Lawrence Holder and
                  Joshua Alspector and
                  Mohsen Jafarzadeh and
                  Touqeer Ahmad and
                  Akshay Raj Dhamija and
                  Chunchun Li and
                  Steve Cruz and
                  Abhinav Shrivastava and
                  Carl Vondrick and
                  Walter J. Scheirer},
  title        = {Towards a Unifying Framework for Formal Theories of Novelty},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {15047--15052},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i17.17766},
  doi          = {10.1609/AAAI.V35I17.17766},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BoultGPSHAJADLC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LehmanSS21,
  author       = {Rotem Lev Lehman and
                  Guy Shani and
                  Roni Stern},
  editor       = {Frank Dignum and
                  Alessio Lomuscio and
                  Ulle Endriss and
                  Ann Now{\'{e}}},
  title        = {Partial Disclosure of Private Dependencies in Privacy Preserving Planning},
  booktitle    = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
                  Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
  pages        = {1575--1577},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1575.pdf},
  doi          = {10.5555/3463952.3464164},
  timestamp    = {Wed, 20 Jul 2022 17:03:47 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/LehmanSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BragilovskiMSSS21,
  author       = {Maxim Bragilovski and
                  Yifat Makias and
                  Moran Shamshila and
                  Roni Stern and
                  Arnon Sturm},
  editor       = {Adriano Augusto and
                  Asif Gill and
                  Selmin Nurcan and
                  Iris Reinhartz{-}Berger and
                  Rainer Schmidt and
                  Jelena Zdravkovic},
  title        = {Searching for Class Models},
  booktitle    = {Enterprise, Business-Process and Information Systems Modeling - 22nd
                  International Conference, {BPMDS} 2021, and 26th International Conference,
                  {EMMSAD} 2021, Held at CAiSE 2021, Melbourne, VIC, Australia, June
                  28-29, 2021, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {421},
  pages        = {277--292},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79186-5\_18},
  doi          = {10.1007/978-3-030-79186-5\_18},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/BragilovskiMSSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BragilovskiMSSS21,
  author       = {Maxim Bragilovski and
                  Yifat Makias and
                  Moran Shamshila and
                  Roni Stern and
                  Arnon Sturm},
  editor       = {Aditya K. Ghose and
                  Jennifer Horkoff and
                  V{\'{\i}}tor E. Silva Souza and
                  Jeffrey Parsons and
                  Joerg Evermann},
  title        = {Model-Based Knowledge Searching},
  booktitle    = {Conceptual Modeling - 40th International Conference, {ER} 2021, Virtual
                  Event, October 18-21, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13011},
  pages        = {242--256},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89022-3\_20},
  doi          = {10.1007/978-3-030-89022-3\_20},
  timestamp    = {Mon, 28 Aug 2023 21:17:26 +0200},
  biburl       = {https://dblp.org/rec/conf/er/BragilovskiMSSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HershkovichS0E21,
  author       = {Eran Hershkovich and
                  Roni Stern and
                  Rui Abreu and
                  Amir Elmishali},
  title        = {Prioritized Test Generation Guided by Software Fault Prediction},
  booktitle    = {14th {IEEE} International Conference on Software Testing, Verification
                  and Validation Workshops, {ICST} Workshops 2021, Porto de Galinhas,
                  Brazil, April 12-16, 2021},
  pages        = {218--225},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSTW52544.2021.00045},
  doi          = {10.1109/ICSTW52544.2021.00045},
  timestamp    = {Wed, 02 Jun 2021 12:47:12 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/HershkovichS0E21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JubaLS21,
  author       = {Brendan Juba and
                  Hai S. Le and
                  Roni Stern},
  editor       = {Meghyn Bienvenu and
                  Gerhard Lakemeyer and
                  Esra Erdem},
  title        = {Safe Learning of Lifted Action Models},
  booktitle    = {Proceedings of the 18th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2021, Online event, November
                  3-12, 2021},
  pages        = {379--389},
  year         = {2021},
  url          = {https://doi.org/10.24963/kr.2021/36},
  doi          = {10.24963/KR.2021/36},
  timestamp    = {Wed, 03 Nov 2021 12:46:57 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/JubaLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/KaduriBS21,
  author       = {Omri Kaduri and
                  Eli Boyarski and
                  Roni Stern},
  editor       = {Hang Ma and
                  Ivan Serina},
  title        = {Experimental Evaluation of Classical Multi Agent Path Finding Algorithms},
  booktitle    = {Proceedings of the Fourteenth International Symposium on Combinatorial
                  Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
                  2021},
  pages        = {126--130},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/socs.v12i1.18560},
  doi          = {10.1609/SOCS.V12I1.18560},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/KaduriBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/AndreychukYBS21,
  author       = {Anton Andreychuk and
                  Konstantin S. Yakovlev and
                  Eli Boyarski and
                  Roni Stern},
  editor       = {Hang Ma and
                  Ivan Serina},
  title        = {Improving Continuous-time Conflict Based Search},
  booktitle    = {Proceedings of the Fourteenth International Symposium on Combinatorial
                  Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
                  2021},
  pages        = {145--146},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/socs.v12i1.18564},
  doi          = {10.1609/SOCS.V12I1.18564},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/AndreychukYBS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/MoragSFAB21,
  author       = {Jonathan Morag and
                  Roni Stern and
                  Ariel Felner and
                  Dor Atzmon and
                  Eli Boyarski},
  editor       = {Hang Ma and
                  Ivan Serina},
  title        = {Studying Online Multi-Agent Path Finding},
  booktitle    = {Proceedings of the Fourteenth International Symposium on Combinatorial
                  Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
                  2021},
  pages        = {228--230},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/socs.v12i1.18592},
  doi          = {10.1609/SOCS.V12I1.18592},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/MoragSFAB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09723,
  author       = {Anton Andreychuk and
                  Konstantin S. Yakovlev and
                  Eli Boyarski and
                  Roni Stern},
  title        = {Improving Continuous-time Conflict Based Search},
  journal      = {CoRR},
  volume       = {abs/2101.09723},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.09723},
  eprinttype    = {arXiv},
  eprint       = {2101.09723},
  timestamp    = {Sat, 30 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-09723.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07185,
  author       = {Rotem Lev Lehman and
                  Guy Shani and
                  Roni Stern},
  title        = {Partial Disclosure of Private Dependencies in Privacy Preserving Planning},
  journal      = {CoRR},
  volume       = {abs/2102.07185},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.07185},
  eprinttype    = {arXiv},
  eprint       = {2102.07185},
  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-07185.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-04169,
  author       = {Brendan Juba and
                  Hai S. Le and
                  Roni Stern},
  title        = {Safe Learning of Lifted Action Models},
  journal      = {CoRR},
  volume       = {abs/2107.04169},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.04169},
  eprinttype    = {arXiv},
  eprint       = {2107.04169},
  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-04169.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-04635,
  author       = {Wiktor Piotrowski and
                  Roni Stern and
                  Matthew Klenk and
                  Alexandre Perez and
                  Shiwali Mohan and
                  Johan de Kleer and
                  Jacob Le},
  title        = {Playing Angry Birds with a Domain-Independent {PDDL+} Planner},
  journal      = {CoRR},
  volume       = {abs/2107.04635},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.04635},
  eprinttype    = {arXiv},
  eprint       = {2107.04635},
  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-04635.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ShinitzkyS20,
  author       = {Hilla Shinitzky and
                  Roni Stern},
  title        = {Batch repair actions for automated troubleshooting},
  journal      = {Artif. Intell.},
  volume       = {283},
  pages        = {103260},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artint.2020.103260},
  doi          = {10.1016/J.ARTINT.2020.103260},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ShinitzkyS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/ElmishaliSK20,
  author       = {Amir Elmishali and
                  Roni Stern and
                  Meir Kalech},
  title        = {Diagnosing Software System Exploits},
  journal      = {{IEEE} Intell. Syst.},
  volume       = {35},
  number       = {6},
  pages        = {7--15},
  year         = {2020},
  url          = {https://doi.org/10.1109/MIS.2020.2965496},
  doi          = {10.1109/MIS.2020.2965496},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/ElmishaliSK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AtzmonSFWBZ20,
  author       = {Dor Atzmon and
                  Roni Stern and
                  Ariel Felner and
                  Glenn Wagner and
                  Roman Bart{\'{a}}k and
                  Neng{-}Fa Zhou},
  title        = {Robust Multi-Agent Path Finding and Executing},
  journal      = {J. Artif. Intell. Res.},
  volume       = {67},
  pages        = {549--579},
  year         = {2020},
  url          = {https://doi.org/10.1613/jair.1.11734},
  doi          = {10.1613/JAIR.1.11734},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/AtzmonSFWBZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KalechS20,
  author       = {Meir Kalech and
                  Roni Stern},
  title        = {{AI} for Software Quality Assurance Blue Sky Ideas Talk},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {13529--13533},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i09.7076},
  doi          = {10.1609/AAAI.V34I09.7076},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KalechS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/AtzmonSFSK20,
  author       = {Dor Atzmon and
                  Roni Stern and
                  Ariel Felner and
                  Nathan R. Sturtevant and
                  Sven Koenig},
  editor       = {J. Christopher Beck and
                  Olivier Buffet and
                  J{\"{o}}rg Hoffmann and
                  Erez Karpas and
                  Shirin Sohrabi},
  title        = {Probabilistic Robust Multi-Agent Path Finding},
  booktitle    = {Proceedings of the Thirtieth International Conference on Automated
                  Planning and Scheduling, Nancy, France, October 26-30, 2020},
  pages        = {29--37},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/6642},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/AtzmonSFSK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CohenSF20,
  author       = {Yossi Cohen and
                  Roni Stern and
                  Ariel Felner},
  editor       = {J. Christopher Beck and
                  Olivier Buffet and
                  J{\"{o}}rg Hoffmann and
                  Erez Karpas and
                  Shirin Sohrabi},
  title        = {Solving the Longest Simple Path Problem with Heuristic Search},
  booktitle    = {Proceedings of the Thirtieth International Conference on Automated
                  Planning and Scheduling, Nancy, France, October 26-30, 2020},
  pages        = {75--79},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/6647},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/CohenSF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KaduriBS20,
  author       = {Omri Kaduri and
                  Eli Boyarski and
                  Roni Stern},
  editor       = {J. Christopher Beck and
                  Olivier Buffet and
                  J{\"{o}}rg Hoffmann and
                  Erez Karpas and
                  Shirin Sohrabi},
  title        = {Algorithm Selection for Optimal Multi-Agent Pathfinding},
  booktitle    = {Proceedings of the Thirtieth International Conference on Automated
                  Planning and Scheduling, Nancy, France, October 26-30, 2020},
  pages        = {161--165},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/6657},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/KaduriBS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ShaniSH20,
  author       = {Guy Shani and
                  Roni Stern and
                  Tommy Hefner},
  editor       = {J. Christopher Beck and
                  Olivier Buffet and
                  J{\"{o}}rg Hoffmann and
                  Erez Karpas and
                  Shirin Sohrabi},
  title        = {Privacy Preserving Planning in Stochastic Environments},
  booktitle    = {Proceedings of the Thirtieth International Conference on Automated
                  Planning and Scheduling, Nancy, France, October 26-30, 2020},
  pages        = {258--262},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/6669},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/ShaniSH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/YakovlevAS20,
  author       = {Konstantin S. Yakovlev and
                  Anton Andreychuk and
                  Roni Stern},
  editor       = {J. Christopher Beck and
                  Olivier Buffet and
                  J{\"{o}}rg Hoffmann and
                  Erez Karpas and
                  Shirin Sohrabi},
  title        = {Revisiting Bounded-Suboptimal Safe Interval Path Planning},
  booktitle    = {Proceedings of the Thirtieth International Conference on Automated
                  Planning and Scheduling, Nancy, France, October 26-30, 2020},
  pages        = {300--304},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/6674},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/YakovlevAS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SalzmanS20,
  author       = {Oren Salzman and
                  Roni Stern},
  editor       = {Amal El Fallah Seghrouchni and
                  Gita Sukthankar and
                  Bo An and
                  Neil Yorke{-}Smith},
  title        = {Research Challenges and Opportunities in Multi-Agent Path Finding
                  and Multi-Agent Pickup and Delivery Problems},
  booktitle    = {Proceedings of the 19th International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
                  2020},
  pages        = {1711--1715},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems},
  year         = {2020},
  url          = {https://dl.acm.org/doi/10.5555/3398761.3398959},
  doi          = {10.5555/3398761.3398959},
  timestamp    = {Tue, 26 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/SalzmanS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CohensiusMOS20,
  author       = {Gal Cohensius and
                  Reshef Meir and
                  Nadav Oved and
                  Roni Stern},
  editor       = {Giuseppe De Giacomo and
                  Alejandro Catal{\'{a}} and
                  Bistra Dilkina and
                  Michela Milano and
                  Sen{\'{e}}n Barro and
                  Alberto Bugar{\'{\i}}n and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {Bidding in Spades},
  booktitle    = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
                  29 August-8 September 2020, Santiago de Compostela, Spain, August
                  29 - September 8, 2020 - Including 10th Conference on Prestigious
                  Applications of Artificial Intelligence {(PAIS} 2020)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {325},
  pages        = {387--394},
  publisher    = {{IOS} Press},
  year         = {2020},
  url          = {https://doi.org/10.3233/FAIA200117},
  doi          = {10.3233/FAIA200117},
  timestamp    = {Fri, 09 Apr 2021 18:50:05 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/CohensiusMOS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-01195,
  author       = {Konstantin S. Yakovlev and
                  Anton Andreychuk and
                  Roni Stern},
  title        = {Revisiting Bounded-Suboptimal Safe Interval Path Planning},
  journal      = {CoRR},
  volume       = {abs/2006.01195},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.01195},
  eprinttype    = {arXiv},
  eprint       = {2006.01195},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-01195.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-04226,
  author       = {Terrance E. Boult and
                  Przemyslaw A. Grabowicz and
                  Derek S. Prijatelj and
                  Roni Stern and
                  Larry B. Holder and
                  Joshua Alspector and
                  Mohsen Jafarzadeh and
                  Touqeer Ahmad and
                  Akshay Raj Dhamija and
                  Chunchun Li and
                  Steve Cruz and
                  Abhinav Shrivastava and
                  Carl Vondrick and
                  Walter J. Scheirer},
  title        = {A Unifying Framework for Formal Theories of Novelty: Framework, Examples
                  and Discussion},
  journal      = {CoRR},
  volume       = {abs/2012.04226},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.04226},
  eprinttype    = {arXiv},
  eprint       = {2012.04226},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-04226.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SternDV19,
  author       = {Roni Stern and
                  Gal Dreiman and
                  Richard Anthony Valenzano},
  title        = {Probably bounded suboptimal heuristic search},
  journal      = {Artif. Intell.},
  volume       = {267},
  pages        = {39--57},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.artint.2018.08.005},
  doi          = {10.1016/J.ARTINT.2018.08.005},
  timestamp    = {Fri, 18 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/SternDV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MirskySGK19,
  author       = {Reuth Mirsky and
                  Roni Stern and
                  Kobi Gal and
                  Meir Kalech},
  title        = {Corrigendum to "Sequential plan recognition: An iterative approach
                  to disambiguating between hypotheses" [Artif. Intell. 260 {(2018)}
                  51-73]},
  journal      = {Artif. Intell.},
  volume       = {275},
  pages        = {234},
  year         = {2019},
  timestamp    = {Mon, 09 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MirskySGK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/MirskyGSK19,
  author       = {Reuth Mirsky and
                  Kobi Gal and
                  Roni Stern and
                  Meir Kalech},
  title        = {Goal and Plan Recognition Design for Plan Libraries},
  journal      = {{ACM} Trans. Intell. Syst. Technol.},
  volume       = {10},
  number       = {2},
  pages        = {14:1--14:23},
  year         = {2019},
  url          = {https://doi.org/10.1145/3234464},
  doi          = {10.1145/3234464},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tist/MirskyGSK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/PuzisSHSF19,
  author       = {Rami Puzis and
                  Liron Samama{-}Kachko and
                  Barak Hagbi and
                  Roni Stern and
                  Ariel Felner},
  title        = {Target oriented network intelligence collection: effective exploration
                  of social networks},
  journal      = {World Wide Web},
  volume       = {22},
  number       = {4},
  pages        = {1447--1480},
  year         = {2019},
  url          = {https://doi.org/10.1007/s11280-018-0648-0},
  doi          = {10.1007/S11280-018-0648-0},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/www/PuzisSHSF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternJ19,
  author       = {Roni Stern and
                  Brendan Juba},
  title        = {Safe Partial Diagnosis from Normal Observations},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {3084--3091},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33013084},
  doi          = {10.1609/AAAI.V33I01.33013084},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SternJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SvancaraVSAB19,
  author       = {Jir{\'{\i}} Svancara and
                  Marek Vlk and
                  Roni Stern and
                  Dor Atzmon and
                  Roman Bart{\'{a}}k},
  title        = {Online Multi-Agent Pathfinding},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {7732--7739},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33017732},
  doi          = {10.1609/AAAI.V33I01.33017732},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SvancaraVSAB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ElmishaliSK19,
  author       = {Amir Elmishali and
                  Roni Stern and
                  Meir Kalech},
  title        = {DeBGUer: {A} Tool for Bug Prediction and Diagnosis},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {9446--9451},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33019446},
  doi          = {10.1609/AAAI.V33I01.33019446},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/ElmishaliSK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AndreychukYAS19,
  author       = {Anton Andreychuk and
                  Konstantin S. Yakovlev and
                  Dor Atzmon and
                  Roni Stern},
  editor       = {Sarit Kraus},
  title        = {Multi-Agent Pathfinding with Continuous Time},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {39--45},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/6},
  doi          = {10.24963/IJCAI.2019/6},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AndreychukYAS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Stern19,
  author       = {Roni Stern},
  editor       = {Sarit Kraus},
  title        = {Domain-Dependent and Domain-Independent Problem Solving Techniques},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {6411--6415},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/898},
  doi          = {10.24963/IJCAI.2019/898},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Stern19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raai/Stern19,
  author       = {Roni Stern},
  editor       = {Gennady S. Osipov and
                  Aleksandr I. Panov and
                  Konstantin S. Yakovlev},
  title        = {Multi-Agent Path Finding - An Overview},
  booktitle    = {Artificial Intelligence - 5th {RAAI} Summer School, Dolgoprudny, Russia,
                  July 4-7, 2019, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {11866},
  pages        = {96--115},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33274-7\_6},
  doi          = {10.1007/978-3-030-33274-7\_6},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/raai/Stern19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SternSFK0WLA0KB19,
  author       = {Roni Stern and
                  Nathan R. Sturtevant and
                  Ariel Felner and
                  Sven Koenig and
                  Hang Ma and
                  Thayne T. Walker and
                  Jiaoyang Li and
                  Dor Atzmon and
                  Liron Cohen and
                  T. K. Satish Kumar and
                  Roman Bart{\'{a}}k and
                  Eli Boyarski},
  editor       = {Pavel Surynek and
                  William Yeoh},
  title        = {Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks},
  booktitle    = {Proceedings of the Twelfth International Symposium on Combinatorial
                  Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
  pages        = {151--158},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/socs.v10i1.18510},
  doi          = {10.1609/SOCS.V10I1.18510},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SternSFK0WLA0KB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/AtzmonFS19,
  author       = {Dor Atzmon and
                  Ariel Felner and
                  Roni Stern},
  editor       = {Pavel Surynek and
                  William Yeoh},
  title        = {Probabilistic Robust Multi-Agent Path Finding},
  booktitle    = {Proceedings of the Twelfth International Symposium on Combinatorial
                  Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
  pages        = {162--163},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/socs.v10i1.18471},
  doi          = {10.1609/SOCS.V10I1.18471},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/AtzmonFS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/CohenGS19,
  author       = {Liat Cohen and
                  Tal Grinshpoun and
                  Roni Stern},
  editor       = {Pavel Surynek and
                  William Yeoh},
  title        = {Assigning Suppliers to Meet a Deadline},
  booktitle    = {Proceedings of the Twelfth International Symposium on Combinatorial
                  Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
  pages        = {170--171},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/socs.v10i1.18475},
  doi          = {10.1609/SOCS.V10I1.18475},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/CohenGS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/YoeliSA19,
  author       = {Rotem Yoeli and
                  Roni Stern and
                  Dor Atzmon},
  editor       = {Pavel Surynek and
                  William Yeoh},
  title        = {Measuring the Vulnerability of a Multi-Agent Pathfinding Solution},
  booktitle    = {Proceedings of the Twelfth International Symposium on Combinatorial
                  Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
  pages        = {208--209},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/socs.v10i1.18494},
  doi          = {10.1609/SOCS.V10I1.18494},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/YoeliSA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-05506,
  author       = {Anton Andreychuk and
                  Konstantin S. Yakovlev and
                  Dor Atzmon and
                  Roni Stern},
  title        = {Multi-Agent Pathfinding {(MAPF)} with Continuous Time},
  journal      = {CoRR},
  volume       = {abs/1901.05506},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.05506},
  eprinttype    = {arXiv},
  eprint       = {1901.05506},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-05506.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-08291,
  author       = {Roni Stern and
                  Nathan R. Sturtevant and
                  Ariel Felner and
                  Sven Koenig and
                  Hang Ma and
                  Thayne T. Walker and
                  Jiaoyang Li and
                  Dor Atzmon and
                  Liron Cohen and
                  T. K. Satish Kumar and
                  Eli Boyarski and
                  Roman Bart{\'{a}}k},
  title        = {Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks},
  journal      = {CoRR},
  volume       = {abs/1906.08291},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.08291},
  eprinttype    = {arXiv},
  eprint       = {1906.08291},
  timestamp    = {Wed, 09 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-08291.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-01679,
  author       = {Eyal Hadad and
                  Roni Stern},
  title        = {Learning Test Traces},
  journal      = {CoRR},
  volume       = {abs/1909.01679},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.01679},
  eprinttype    = {arXiv},
  eprint       = {1909.01679},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01679.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-11323,
  author       = {Gal Cohensius and
                  Reshef Meir and
                  Roni Stern and
                  Nadav Oved},
  title        = {Bidding in Spades},
  journal      = {CoRR},
  volume       = {abs/1912.11323},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.11323},
  eprinttype    = {arXiv},
  eprint       = {1912.11323},
  timestamp    = {Fri, 03 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-11323.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/MaliahSS18,
  author       = {Shlomi Maliah and
                  Guy Shani and
                  Roni Stern},
  title        = {Action dependencies in privacy-preserving multi-agent planning},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {32},
  number       = {6},
  pages        = {779--821},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10458-018-9394-z},
  doi          = {10.1007/S10458-018-9394-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aamas/MaliahSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MirskySGK18,
  author       = {Reuth Mirsky and
                  Roni Stern and
                  Kobi Gal and
                  Meir Kalech},
  title        = {Sequential plan recognition: An iterative approach to disambiguating
                  between hypotheses},
  journal      = {Artif. Intell.},
  volume       = {260},
  pages        = {51--73},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2018.03.006},
  doi          = {10.1016/J.ARTINT.2018.03.006},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/MirskySGK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/ElmishaliSK18,
  author       = {Amir Elmishali and
                  Roni Stern and
                  Meir Kalech},
  title        = {An Artificial Intelligence paradigm for troubleshooting software bugs},
  journal      = {Eng. Appl. Artif. Intell.},
  volume       = {69},
  pages        = {147--156},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.engappai.2017.12.011},
  doi          = {10.1016/J.ENGAPPAI.2017.12.011},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eaai/ElmishaliSK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/ElimelechSK18,
  author       = {Orel Elimelech and
                  Roni Stern and
                  Meir Kalech},
  title        = {Structural abstraction for model-based diagnosis with a strong fault
                  model},
  journal      = {Knowl. Based Syst.},
  volume       = {161},
  pages        = {357--374},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.knosys.2018.07.039},
  doi          = {10.1016/J.KNOSYS.2018.07.039},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/ElimelechSK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AtzmonSFWBZ18,
  author       = {Dor Atzmon and
                  Roni Stern and
                  Ariel Felner and
                  Glenn Wagner and
                  Roman Bart{\'{a}}k and
                  Neng{-}Fa Zhou},
  editor       = {Elisabeth Andr{\'{e}} and
                  Sven Koenig and
                  Mehdi Dastani and
                  Gita Sukthankar},
  title        = {Robust Multi-Agent Path Finding},
  booktitle    = {Proceedings of the 17th International Conference on Autonomous Agents
                  and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
                  2018},
  pages        = {1862--1864},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  Richland, SC, {USA} / {ACM}},
  year         = {2018},
  url          = {http://dl.acm.org/citation.cfm?id=3238004},
  timestamp    = {Sat, 30 Sep 2023 09:34:53 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/AtzmonSFWBZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/AtzmonSFWBZ18,
  author       = {Dor Atzmon and
                  Roni Stern and
                  Ariel Felner and
                  Glenn Wagner and
                  Roman Bart{\'{a}}k and
                  Neng{-}Fa Zhou},
  editor       = {Vadim Bulitko and
                  Sabine Storandt},
  title        = {Robust Multi-Agent Path Finding},
  booktitle    = {Proceedings of the Eleventh International Symposium on Combinatorial
                  Search, {SOCS} 2018, Stockholm, Sweden - 14-15 July 2018},
  pages        = {2--9},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://doi.org/10.1609/socs.v9i1.18445},
  doi          = {10.1609/SOCS.V9I1.18445},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/AtzmonSFWBZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/AtzmonSS18,
  author       = {Dor Atzmon and
                  Roni Stern and
                  Abdallah Saffidine},
  editor       = {Vadim Bulitko and
                  Sabine Storandt},
  title        = {Bounded Suboptimal Game Tree Search},
  booktitle    = {Proceedings of the Eleventh International Symposium on Combinatorial
                  Search, {SOCS} 2018, Stockholm, Sweden - 14-15 July 2018},
  pages        = {10--18},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://doi.org/10.1609/socs.v9i1.18448},
  doi          = {10.1609/SOCS.V9I1.18448},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/AtzmonSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SurynekFSB18,
  author       = {Pavel Surynek and
                  Ariel Felner and
                  Roni Stern and
                  Eli Boyarski},
  editor       = {Vadim Bulitko and
                  Sabine Storandt},
  title        = {Sub-Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem},
  booktitle    = {Proceedings of the Eleventh International Symposium on Combinatorial
                  Search, {SOCS} 2018, Stockholm, Sweden - 14-15 July 2018},
  pages        = {99--105},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://doi.org/10.1609/socs.v9i1.18456},
  doi          = {10.1609/SOCS.V9I1.18456},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SurynekFSB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/LeybovichPSR18,
  author       = {Ilia Leybovich and
                  Rami Puzis and
                  Roni Stern and
                  Maor Reuben},
  editor       = {Vadim Bulitko and
                  Sabine Storandt},
  title        = {Focused {SANA:} Speeding Up Network Alignment},
  booktitle    = {Proceedings of the Eleventh International Symposium on Combinatorial
                  Search, {SOCS} 2018, Stockholm, Sweden - 14-15 July 2018},
  pages        = {168--172},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://doi.org/10.1609/socs.v9i1.18466},
  doi          = {10.1609/SOCS.V9I1.18466},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/LeybovichPSR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/MaliahSS17,
  author       = {Shlomi Maliah and
                  Guy Shani and
                  Roni Stern},
  title        = {Collaborative privacy preserving multi-agent planning - Planners and
                  heuristics},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {31},
  number       = {3},
  pages        = {493--530},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10458-016-9333-9},
  doi          = {10.1007/S10458-016-9333-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aamas/MaliahSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SternKRF17,
  author       = {Roni Stern and
                  Meir Kalech and
                  Shelly Rogov and
                  Alexander Feldman},
  title        = {How many diagnoses do we need?},
  journal      = {Artif. Intell.},
  volume       = {248},
  pages        = {26--45},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.artint.2017.03.002},
  doi          = {10.1016/J.ARTINT.2017.03.002},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SternKRF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/ElimelechSKB17,
  author       = {Orel Elimelech and
                  Roni Stern and
                  Meir Kalech and
                  Yedidya Bar{-}Zev},
  title        = {Diagnosing resource usage failures in multi-agent systems},
  journal      = {Expert Syst. Appl.},
  volume       = {77},
  pages        = {44--56},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.eswa.2017.01.047},
  doi          = {10.1016/J.ESWA.2017.01.047},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eswa/ElimelechSKB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/OfekRSS17,
  author       = {Nir Ofek and
                  Lior Rokach and
                  Roni Stern and
                  Asaf Shabtai},
  title        = {Fast-CBUS: {A} fast clustering-based undersampling method for addressing
                  the class imbalance problem},
  journal      = {Neurocomputing},
  volume       = {243},
  pages        = {88--102},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.neucom.2017.03.011},
  doi          = {10.1016/J.NEUCOM.2017.03.011},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijon/OfekRSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MirskySGK17,
  author       = {Reuth Mirsky and
                  Roni Stern and
                  Ya'akov (Kobi) Gal and
                  Meir Kalech},
  editor       = {Satinder Singh and
                  Shaul Markovitch},
  title        = {Plan Recognition Design},
  booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
                  February 4-9, 2017, San Francisco, California, {USA}},
  pages        = {4971--4972},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/aaai.v31i1.11092},
  doi          = {10.1609/AAAI.V31I1.11092},
  timestamp    = {Mon, 04 Sep 2023 14:40:32 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MirskySGK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MirskySGK17a,
  author       = {Reuth Mirsky and
                  Roni Stern and
                  Ya'akov Gal and
                  Meir Kalech},
  title        = {Plan Recognition Design},
  booktitle    = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
                  Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
                  {USA}},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-17}},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15109},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MirskySGK17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BartakZSBS17,
  author       = {Roman Bart{\'{a}}k and
                  Neng{-}Fa Zhou and
                  Roni Stern and
                  Eli Boyarski and
                  Pavel Surynek},
  title        = {Modeling and Solving the Multi-agent Pathfinding Problem in Picat},
  booktitle    = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
  pages        = {959--966},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICTAI.2017.00147},
  doi          = {10.1109/ICTAI.2017.00147},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/BartakZSBS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SternJ17,
  author       = {Roni Stern and
                  Brendan Juba},
  editor       = {Carles Sierra},
  title        = {Efficient, Safe, and Probably Approximately Complete Learning of Action
                  Models},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {4405--4411},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/615},
  doi          = {10.24963/IJCAI.2017/615},
  timestamp    = {Tue, 20 Aug 2019 16:16:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SternJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/FelnerSSBGSSWS17,
  author       = {Ariel Felner and
                  Roni Stern and
                  Solomon Eyal Shimony and
                  Eli Boyarski and
                  Meir Goldenberg and
                  Guni Sharon and
                  Nathan R. Sturtevant and
                  Glenn Wagner and
                  Pavel Surynek},
  editor       = {Alex Fukunaga and
                  Akihiro Kishimoto},
  title        = {Search-Based Optimal Solvers for the Multi-Agent Pathfinding Problem:
                  Summary and Challenges},
  booktitle    = {Proceedings of the Tenth International Symposium on Combinatorial
                  Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
  pages        = {29--37},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/socs.v8i1.18423},
  doi          = {10.1609/SOCS.V8I1.18423},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/FelnerSSBGSSWS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/GilonFS17,
  author       = {Daniel Gilon and
                  Ariel Felner and
                  Roni Stern},
  editor       = {Alex Fukunaga and
                  Akihiro Kishimoto},
  title        = {Dynamic Potential Search on Weighted Graphs},
  booktitle    = {Proceedings of the Tenth International Symposium on Combinatorial
                  Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
  pages        = {119--123},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/socs.v8i1.18436},
  doi          = {10.1609/SOCS.V8I1.18436},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/GilonFS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/AtzmonFSWBZ17,
  author       = {Dor Atzmon and
                  Ariel Felner and
                  Roni Stern and
                  Glenn Wagner and
                  Roman Bart{\'{a}}k and
                  Neng{-}Fa Zhou},
  editor       = {Alex Fukunaga and
                  Akihiro Kishimoto},
  title        = {k-Robust Multi-Agent Path Finding},
  booktitle    = {Proceedings of the Tenth International Symposium on Combinatorial
                  Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
  pages        = {157--158},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/socs.v8i1.18415},
  doi          = {10.1609/SOCS.V8I1.18415},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/AtzmonFSWBZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SternGF17,
  author       = {Roni Tzvi Stern and
                  Meir Goldenberg and
                  Ariel Felner},
  editor       = {Alex Fukunaga and
                  Akihiro Kishimoto},
  title        = {Shortest Path for {K} Goals},
  booktitle    = {Proceedings of the Tenth International Symposium on Combinatorial
                  Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
  pages        = {167--168},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/socs.v8i1.18413},
  doi          = {10.1609/SOCS.V8I1.18413},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SternGF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SurynekFSB17,
  author       = {Pavel Surynek and
                  Ariel Felner and
                  Roni Stern and
                  Eli Boyarski},
  editor       = {Alex Fukunaga and
                  Akihiro Kishimoto},
  title        = {Modifying Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem
                  to Suboptimal Variants},
  booktitle    = {Proceedings of the Tenth International Symposium on Combinatorial
                  Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
  pages        = {169--170},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/socs.v8i1.18417},
  doi          = {10.1609/SOCS.V8I1.18417},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SurynekFSB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MirskySGK17,
  author       = {Reuth Mirsky and
                  Roni Stern and
                  Ya'akov Gal and
                  Meir Kalech},
  title        = {Sequential Plan Recognition},
  journal      = {CoRR},
  volume       = {abs/1703.01083},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.01083},
  eprinttype    = {arXiv},
  eprint       = {1703.01083},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MirskySGK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SternJ17,
  author       = {Roni Stern and
                  Brendan Juba},
  title        = {Efficient, Safe, and Probably Approximately Complete Learning of Action
                  Models},
  journal      = {CoRR},
  volume       = {abs/1705.08961},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.08961},
  eprinttype    = {arXiv},
  eprint       = {1705.08961},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SternJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SurynekFSB17,
  author       = {Pavel Surynek and
                  Ariel Felner and
                  Roni Stern and
                  Eli Boyarski},
  title        = {Modifying Optimal SAT-based Approach to Multi-agent Path-finding Problem
                  to Suboptimal Variants},
  journal      = {CoRR},
  volume       = {abs/1707.00228},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.00228},
  eprinttype    = {arXiv},
  eprint       = {1707.00228},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SurynekFSB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LelisSAZFH16,
  author       = {Levi H. S. Lelis and
                  Roni Stern and
                  Shahab Jabbari Arfaee and
                  Sandra Zilles and
                  Ariel Felner and
                  Robert C. Holte},
  title        = {Predicting optimal solution costs with bidirectional stratified sampling
                  in regular search spaces},
  journal      = {Artif. Intell.},
  volume       = {230},
  pages        = {51--73},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.artint.2015.09.012},
  doi          = {10.1016/J.ARTINT.2015.09.012},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/LelisSAZFH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternKS16,
  author       = {Roni Stern and
                  Meir Kalech and
                  Hilla Shinitzky},
  editor       = {Dale Schuurmans and
                  Michael P. Wellman},
  title        = {Implementing Troubleshooting with Batch Repair},
  booktitle    = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
                  February 12-17, 2016, Phoenix, Arizona, {USA}},
  pages        = {769--775},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/aaai.v30i1.10075},
  doi          = {10.1609/AAAI.V30I1.10075},
  timestamp    = {Mon, 04 Sep 2023 15:08:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SternKS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ElmishaliSK16,
  author       = {Amir Elmishali and
                  Roni Stern and
                  Meir Kalech},
  editor       = {Dale Schuurmans and
                  Michael P. Wellman},
  title        = {Data-Augmented Software Diagnosis},
  booktitle    = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
                  February 12-17, 2016, Phoenix, Arizona, {USA}},
  pages        = {4003--4009},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/aaai.v30i2.19076},
  doi          = {10.1609/AAAI.V30I2.19076},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ElmishaliSK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternL16,
  author       = {Roni Stern and
                  Levi H. S. Lelis},
  editor       = {Dale Schuurmans and
                  Michael P. Wellman},
  title        = {What's Hot in Heuristic Search},
  booktitle    = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
                  February 12-17, 2016, Phoenix, Arizona, {USA}},
  pages        = {4340--4342},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/aaai.v30i1.9873},
  doi          = {10.1609/AAAI.V30I1.9873},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SternL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MaliahSS16,
  author       = {Shlomi Maliah and
                  Guy Shani and
                  Roni Stern},
  editor       = {Amanda Jane Coles and
                  Andrew Coles and
                  Stefan Edelkamp and
                  Daniele Magazzeni and
                  Scott Sanner},
  title        = {Stronger Privacy Preserving Projections for Multi-Agent Planning},
  booktitle    = {Proceedings of the Twenty-Sixth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  pages        = {221--229},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13095},
  timestamp    = {Wed, 08 Jun 2016 12:49:09 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/MaliahSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MirskyGSK16,
  author       = {Reuth Mirsky and
                  Ya'akov (Kobi) Gal and
                  Roni Stern and
                  Meir Kalech},
  editor       = {Catholijn M. Jonker and
                  Stacy Marsella and
                  John Thangarajah and
                  Karl Tuyls},
  title        = {Sequential Plan Recognition: (Extended Abstract)},
  booktitle    = {Proceedings of the 2016 International Conference on Autonomous Agents
                  {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  pages        = {1347--1348},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2937153},
  timestamp    = {Fri, 20 May 2016 20:33:29 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/MirskyGSK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SurynekFSB16,
  author       = {Pavel Surynek and
                  Ariel Felner and
                  Roni Stern and
                  Eli Boyarski},
  editor       = {Catholijn M. Jonker and
                  Stacy Marsella and
                  John Thangarajah and
                  Karl Tuyls},
  title        = {Boolean Satisfiability Approach to Optimal Multi-agent Path Finding
                  under the Sum of Costs Objective: (Extended Abstract)},
  booktitle    = {Proceedings of the 2016 International Conference on Autonomous Agents
                  {\&} Multiagent Systems, Singapore, May 9-13, 2016},
  pages        = {1435--1436},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2937197},
  timestamp    = {Fri, 20 May 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/SurynekFSB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SurynekFSB16,
  author       = {Pavel Surynek and
                  Ariel Felner and
                  Roni Stern and
                  Eli Boyarski},
  editor       = {Gal A. Kaminka and
                  Maria Fox and
                  Paolo Bouquet and
                  Eyke H{\"{u}}llermeier and
                  Virginia Dignum and
                  Frank Dignum and
                  Frank van Harmelen},
  title        = {Efficient {SAT} Approach to Multi-Agent Path Finding Under the Sum
                  of Costs Objective},
  booktitle    = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
                  29 August-2 September 2016, The Hague, The Netherlands - Including
                  Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {285},
  pages        = {810--818},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-672-9-810},
  doi          = {10.3233/978-1-61499-672-9-810},
  timestamp    = {Tue, 02 Nov 2021 15:59:05 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/SurynekFSB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MirskySGK16,
  author       = {Reuth Mirsky and
                  Roni Stern and
                  Ya'akov (Kobi) Gal and
                  Meir Kalech},
  editor       = {Subbarao Kambhampati},
  title        = {Sequential Plan Recognition},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {401--407},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/064},
  timestamp    = {Tue, 20 Aug 2019 16:19:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MirskySGK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HasidiSKR16,
  author       = {Netantel Hasidi and
                  Roni Stern and
                  Meir Kalech and
                  Shulamit Reches},
  editor       = {Subbarao Kambhampati},
  title        = {Anticipatory Troubleshooting},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {3133--3139},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/444},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HasidiSKR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/GilonFS16,
  author       = {Daniel Gilon and
                  Ariel Felner and
                  Roni Stern},
  editor       = {Jorge A. Baier and
                  Adi Botea},
  title        = {Dynamic Potential Search - {A} New Bounded Suboptimal Search},
  booktitle    = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
                  {SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
  pages        = {36--44},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/socs.v7i1.18392},
  doi          = {10.1609/SOCS.V7I1.18392},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/GilonFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/LelisVNS16,
  author       = {Levi H. S. Lelis and
                  Richard Anthony Valenzano and
                  Gabriel L. Nazar and
                  Roni Stern},
  editor       = {Jorge A. Baier and
                  Adi Botea},
  title        = {Searching with a Corrupted Heuristic},
  booktitle    = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
                  {SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
  pages        = {63--71},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/socs.v7i1.18394},
  doi          = {10.1609/SOCS.V7I1.18394},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/LelisVNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SepetnitskyFS16,
  author       = {Vitali Sepetnitsky and
                  Ariel Felner and
                  Roni Stern},
  editor       = {Jorge A. Baier and
                  Adi Botea},
  title        = {Repair Policies for Not Reopening Nodes in Different Search Settings},
  booktitle    = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
                  {SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
  pages        = {81--88},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/socs.v7i1.18395},
  doi          = {10.1609/SOCS.V7I1.18395},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SepetnitskyFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ShinitzkySK16,
  author       = {Hilla Shinitzky and
                  Roni Tzvi Stern and
                  Meir Kalech},
  editor       = {Jorge A. Baier and
                  Adi Botea},
  title        = {Batch Repair with Heuristic Search},
  booktitle    = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
                  {SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
  pages        = {141--142},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/socs.v7i1.18411},
  doi          = {10.1609/SOCS.V7I1.18411},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/ShinitzkySK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SurynekFSB16,
  author       = {Pavel Surynek and
                  Ariel Felner and
                  Roni Stern and
                  Eli Boyarski},
  editor       = {Jorge A. Baier and
                  Adi Botea},
  title        = {An Empirical Comparison of the Hardness of Multi-Agent Path Finding
                  under the Makespan and the Sum of Costs Objectives},
  booktitle    = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
                  {SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
  pages        = {145--146},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/socs.v7i1.18407},
  doi          = {10.1609/SOCS.V7I1.18407},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SurynekFSB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SharonSFS15,
  author       = {Guni Sharon and
                  Roni Stern and
                  Ariel Felner and
                  Nathan R. Sturtevant},
  title        = {Conflict-based search for optimal multi-agent pathfinding},
  journal      = {Artif. Intell.},
  volume       = {219},
  pages        = {40--66},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.artint.2014.11.006},
  doi          = {10.1016/J.ARTINT.2014.11.006},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SharonSFS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternKRF15,
  author       = {Roni Tzvi Stern and
                  Meir Kalech and
                  Shelly Rogov and
                  Alexander Feldman},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {How Many Diagnoses Do We Need?},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {1618--1624},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9422},
  doi          = {10.1609/AAAI.V29I1.9422},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SternKRF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmirSS15,
  author       = {Ofra Amir and
                  Guni Sharon and
                  Roni Stern},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {Multi-Agent Pathfinding as a Combinatorial Auction},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {2003--2009},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9427},
  doi          = {10.1609/AAAI.V29I1.9427},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AmirSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BoyraskyFSS15,
  author       = {Eli Boyarski and
                  Ariel Felner and
                  Guni Sharon and
                  Roni Stern},
  editor       = {Ronen I. Brafman and
                  Carmel Domshlak and
                  Patrik Haslum and
                  Shlomo Zilberstein},
  title        = {Don't Split, Try To Work It Out: Bypassing Conflicts in Multi-Agent
                  Pathfinding},
  booktitle    = {Proceedings of the Twenty-Fifth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
                  2015},
  pages        = {47--51},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10616},
  timestamp    = {Mon, 19 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/BoyraskyFSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoyarskiFSSTBS15,
  author       = {Eli Boyarski and
                  Ariel Felner and
                  Roni Stern and
                  Guni Sharon and
                  David Tolpin and
                  Oded Betzalel and
                  Solomon Eyal Shimony},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {{ICBS:} Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {740--746},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/110},
  timestamp    = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BoyarskiFSSTBS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SternKPFR15,
  author       = {Roni Stern and
                  Scott Kiesel and
                  Rami Puzis and
                  Ariel Felner and
                  Wheeler Ruml},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {Max Is More than Min: Solving Maximization Problems with Heuristic
                  Search},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {4324--4330},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/615},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SternKPFR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safeprocess/SternKS15,
  author       = {Roni Stern and
                  Meir Kalech and
                  Hilla Shinitzky},
  editor       = {Yannick Pencol{\'{e}} and
                  Louise Trav{\'{e}}{-}Massuy{\`{e}}s and
                  Philippe Dague},
  title        = {Implementing Troubleshooting with Batch Repair},
  booktitle    = {Proceedings of the 26th International Workshop on Principles of Diagnosis
                  {(DX-2015)} co-located with 9th {IFAC} Symposium on Fault Detection,
                  Supervision and Safety for Technical Processes (Safeprocess 2015),
                  Paris, France, August 31 - September 3, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1507},
  pages        = {113--118},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1507/dx15paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:16 +0100},
  biburl       = {https://dblp.org/rec/conf/safeprocess/SternKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safeprocess/ElmishaliSK15,
  author       = {Amir Elmishali and
                  Roni Stern and
                  Meir Kalech},
  editor       = {Yannick Pencol{\'{e}} and
                  Louise Trav{\'{e}}{-}Massuy{\`{e}}s and
                  Philippe Dague},
  title        = {Data-Augmented Software Diagnosis},
  booktitle    = {Proceedings of the 26th International Workshop on Principles of Diagnosis
                  {(DX-2015)} co-located with 9th {IFAC} Symposium on Fault Detection,
                  Supervision and Safety for Technical Processes (Safeprocess 2015),
                  Paris, France, August 31 - September 3, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1507},
  pages        = {247--252},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1507/dx15paper32.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safeprocess/ElmishaliSK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/MirskyCSFRES15,
  author       = {Yisroel Mirsky and
                  Aviad Cohen and
                  Roni Stern and
                  Ariel Felner and
                  Lior Rokach and
                  Yuval Elovici and
                  Bracha Shapira},
  editor       = {Levi Lelis and
                  Roni Stern},
  title        = {Search Problems in the Domain of Multiplication: Case Study on Anomaly
                  Detection Using Markov Chains},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
                  {SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
  pages        = {70--77},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/socs.v6i1.18354},
  doi          = {10.1609/SOCS.V6I1.18354},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/MirskyCSFRES15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/PalomboSPFKR15,
  author       = {Alon Palombo and
                  Roni Stern and
                  Rami Puzis and
                  Ariel Felner and
                  Scott Kiesel and
                  Wheeler Ruml},
  editor       = {Levi Lelis and
                  Roni Stern},
  title        = {Solving the Snake in the Box Problem with Heuristic Search: First
                  Results},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
                  {SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
  pages        = {96--104},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/socs.v6i1.18357},
  doi          = {10.1609/SOCS.V6I1.18357},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/PalomboSPFKR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BoyarskiFSSBTS15,
  author       = {Eli Boyarski and
                  Ariel Felner and
                  Roni Stern and
                  Guni Sharon and
                  Oded Betzalel and
                  David Tolpin and
                  Solomon Eyal Shimony},
  editor       = {Levi Lelis and
                  Roni Stern},
  title        = {{ICBS:} The Improved Conflict-Based Search Algorithm for Multi-Agent
                  Pathfinding},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
                  {SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
  pages        = {223--225},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/socs.v6i1.18343},
  doi          = {10.1609/SOCS.V6I1.18343},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/BoyarskiFSSBTS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/socs/2015,
  editor       = {Levi Lelis and
                  Roni Stern},
  title        = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
                  {SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://ojs.aaai.org/index.php/SOCS/issue/view/435},
  isbn         = {978-1-57735-732-2},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SternFBPSG14,
  author       = {Roni Stern and
                  Ariel Felner and
                  Jur van den Berg and
                  Rami Puzis and
                  Rajat Shah and
                  Ken Goldberg},
  title        = {Potential-based bounded-cost search and Anytime Non-Parametric A\({}^{\mbox{*}}\)},
  journal      = {Artif. Intell.},
  volume       = {214},
  pages        = {1--25},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.artint.2014.05.002},
  doi          = {10.1016/J.ARTINT.2014.05.002},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SternFBPSG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/LelisSFZH14,
  author       = {Levi H. S. Lelis and
                  Roni Stern and
                  Ariel Felner and
                  Sandra Zilles and
                  Robert C. Holte},
  title        = {Predicting optimal solution cost with conditional probabilities -
                  Predicting optimal solution cost},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {72},
  number       = {3-4},
  pages        = {267--295},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10472-014-9432-8},
  doi          = {10.1007/S10472-014-9432-8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LelisSFZH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/SternK14,
  author       = {Roni Stern and
                  Meir Kalech},
  title        = {Model-based diagnosis techniques for Internet delay diagnosis with
                  dynamic routing},
  journal      = {Appl. Intell.},
  volume       = {41},
  number       = {1},
  pages        = {167--183},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10489-013-0514-9},
  doi          = {10.1007/S10489-013-0514-9},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apin/SternK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GoldenbergFSSSHS14,
  author       = {Meir Goldenberg and
                  Ariel Felner and
                  Roni Stern and
                  Guni Sharon and
                  Nathan R. Sturtevant and
                  Robert C. Holte and
                  Jonathan Schaeffer},
  title        = {Enhanced Partial Expansion {A}},
  journal      = {J. Artif. Intell. Res.},
  volume       = {50},
  pages        = {141--187},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4171},
  doi          = {10.1613/JAIR.4171},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/GoldenbergFSSSHS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/MetodiSKC14,
  author       = {Amit Metodi and
                  Roni Stern and
                  Meir Kalech and
                  Michael Codish},
  title        = {A Novel SAT-Based Approach to Model Based Diagnosis},
  journal      = {J. Artif. Intell. Res.},
  volume       = {51},
  pages        = {377--411},
  year         = {2014},
  url          = {https://doi.org/10.1613/jair.4503},
  doi          = {10.1613/JAIR.4503},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/MetodiSKC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZamirSK14,
  author       = {Tom Zamir and
                  Roni Tzvi Stern and
                  Meir Kalech},
  editor       = {Carla E. Brodley and
                  Peter Stone},
  title        = {Using Model-Based Diagnosis to Improve Software Testing},
  booktitle    = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
                  July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages        = {1135--1141},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/aaai.v28i1.8873},
  doi          = {10.1609/AAAI.V28I1.8873},
  timestamp    = {Mon, 04 Sep 2023 15:06:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ZamirSK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmirGS14,
  author       = {Ofra Amir and
                  Barbara J. Grosz and
                  Roni Stern},
  editor       = {Carla E. Brodley and
                  Peter Stone},
  title        = {To Share or Not to Share? The Single Agent in a Team Decision Problem},
  booktitle    = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
                  July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages        = {3092--3093},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/aaai.v28i1.9094},
  doi          = {10.1609/AAAI.V28I1.9094},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AmirGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Bar-ZevSK14,
  author       = {Yedidya Bar{-}Zev and
                  Roni Stern and
                  Meir Kalech},
  editor       = {Ana L. C. Bazzan and
                  Michael N. Huhns and
                  Alessio Lomuscio and
                  Paul Scerri},
  title        = {Diagnosing faults in a temporal multi-agent resource allocation: (extended
                  abstract)},
  booktitle    = {International conference on Autonomous Agents and Multi-Agent Systems,
                  {AAMAS} '14, Paris, France, May 5-9, 2014},
  pages        = {1513--1514},
  publisher    = {{IFAAMAS/ACM}},
  year         = {2014},
  url          = {http://dl.acm.org/citation.cfm?id=2616038},
  timestamp    = {Thu, 25 Sep 2014 07:46:15 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/Bar-ZevSK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MaliahSS14,
  author       = {Shlomi Maliah and
                  Guy Shani and
                  Roni Stern},
  editor       = {Torsten Schaub and
                  Gerhard Friedrich and
                  Barry O'Sullivan},
  title        = {Privacy Preserving Landmark Detection},
  booktitle    = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
                  18-22 August 2014, Prague, Czech Republic - Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2014)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {263},
  pages        = {597--602},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-419-0-597},
  doi          = {10.3233/978-1-61499-419-0-597},
  timestamp    = {Mon, 19 Jun 2023 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/MaliahSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BarerSSF14,
  author       = {Max Barer and
                  Guni Sharon and
                  Roni Stern and
                  Ariel Felner},
  editor       = {Torsten Schaub and
                  Gerhard Friedrich and
                  Barry O'Sullivan},
  title        = {Suboptimal Variants of the Conflict-Based Search Algorithm for the
                  Multi-Agent Pathfinding Problem},
  booktitle    = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
                  18-22 August 2014, Prague, Czech Republic - Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2014)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {263},
  pages        = {961--962},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-419-0-961},
  doi          = {10.3233/978-1-61499-419-0-961},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/BarerSSF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BarrerSSF14,
  author       = {Max Barer and
                  Guni Sharon and
                  Roni Stern and
                  Ariel Felner},
  editor       = {Stefan Edelkamp and
                  Roman Bart{\'{a}}k},
  title        = {Suboptimal Variants of the Conflict-Based Search Algorithm for the
                  Multi-Agent Pathfinding Problem},
  booktitle    = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
                  {SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
  pages        = {19--27},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/socs.v5i1.18315},
  doi          = {10.1609/SOCS.V5I1.18315},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/BarrerSSF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BuSFH14,
  author       = {Zhaoxing Bu and
                  Roni Stern and
                  Ariel Felner and
                  Robert Craig Holte},
  editor       = {Stefan Edelkamp and
                  Roman Bart{\'{a}}k},
  title        = {A* with Lookahead Re-Evaluated},
  booktitle    = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
                  {SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
  pages        = {44--52},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/socs.v5i1.18319},
  doi          = {10.1609/SOCS.V5I1.18319},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/BuSFH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/LelisSS14,
  author       = {Levi H. S. Lelis and
                  Roni Stern and
                  Nathan R. Sturtevant},
  editor       = {Stefan Edelkamp and
                  Roman Bart{\'{a}}k},
  title        = {Estimating Search Tree Size with Duplicate Detection},
  booktitle    = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
                  {SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
  pages        = {114--122},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/socs.v5i1.18328},
  doi          = {10.1609/SOCS.V5I1.18328},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/LelisSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/Samama-KachkoPSF14,
  author       = {Liron Samama{-}Kachko and
                  Rami Puzis and
                  Roni Stern and
                  Ariel Felner},
  editor       = {Stefan Edelkamp and
                  Roman Bart{\'{a}}k},
  title        = {Extended Framework for Target Oriented Network Intelligence Collection},
  booktitle    = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
                  {SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
  pages        = {131--138},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/socs.v5i1.18317},
  doi          = {10.1609/SOCS.V5I1.18317},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/Samama-KachkoPSF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SternKPFR14,
  author       = {Roni Tzvi Stern and
                  Scott Kiesel and
                  Rami Puzis and
                  Ariel Felner and
                  Wheeler Ruml},
  editor       = {Stefan Edelkamp and
                  Roman Bart{\'{a}}k},
  title        = {Max is More than Min: Solving Maximization Problems with Heuristic
                  Search},
  booktitle    = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
                  {SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
  pages        = {148--156},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/socs.v5i1.18322},
  doi          = {10.1609/SOCS.V5I1.18322},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SternKPFR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/LopezSF14,
  author       = {Carlos Linares L{\'{o}}pez and
                  Roni Stern and
                  Ariel Felner},
  editor       = {Stefan Edelkamp and
                  Roman Bart{\'{a}}k},
  title        = {Solving the Target-Value Search Problem},
  booktitle    = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
                  {SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
  pages        = {202--203},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/socs.v5i1.18335},
  doi          = {10.1609/SOCS.V5I1.18335},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/LopezSF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SharonSGF13,
  author       = {Guni Sharon and
                  Roni Stern and
                  Meir Goldenberg and
                  Ariel Felner},
  title        = {The increasing cost tree search for optimal multi-agent pathfinding},
  journal      = {Artif. Intell.},
  volume       = {195},
  pages        = {470--495},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.artint.2012.11.006},
  doi          = {10.1016/J.ARTINT.2012.11.006},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SharonSGF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BnayaPSF13,
  author       = {Zahy Bnaya and
                  Rami Puzis and
                  Roni Stern and
                  Ariel Felner},
  title        = {Volatile Multi-Armed Bandits for Guaranteed Targeted Social Crawling},
  booktitle    = {Late-Breaking Developments in the Field of Artificial Intelligence,
                  Bellevue, Washington, USA, July 14-18, 2013},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-13-17}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7030},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BnayaPSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SharonFSS13,
  author       = {Guni Sharon and
                  Ariel Felner and
                  Roni Stern and
                  Nathan R. Sturtevant},
  title        = {Partial Domain Search Tree For Constraint-Satisfaction Problems},
  booktitle    = {Late-Breaking Developments in the Field of Artificial Intelligence,
                  Bellevue, Washington, USA, July 14-18, 2013},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-13-17}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7080},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SharonFSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternSPBBF13,
  author       = {Roni Tzvi Stern and
                  Liron Samama and
                  Rami Puzis and
                  Tal Beja and
                  Zahy Bnaya and
                  Ariel Felner},
  editor       = {Marie desJardins and
                  Michael L. Littman},
  title        = {{TONIC:} Target Oriented Network Intelligence Collection for the Social
                  Web},
  booktitle    = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
                  Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  pages        = {1184--1190},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/aaai.v27i1.8466},
  doi          = {10.1609/AAAI.V27I1.8466},
  timestamp    = {Mon, 04 Sep 2023 15:56:33 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SternSPBBF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ValenzanoATSS13,
  author       = {Richard Anthony Valenzano and
                  Shahab Jabbari Arfaee and
                  Jordan Tyler Thayer and
                  Roni Stern and
                  Nathan R. Sturtevant},
  editor       = {Daniel Borrajo and
                  Subbarao Kambhampati and
                  Angelo Oddi and
                  Simone Fratini},
  title        = {Using Alternative Suboptimality Bounds in Heuristic Search},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6048},
  timestamp    = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/ValenzanoATSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AmirGLS13,
  author       = {Ofra Amir and
                  Barbara J. Grosz and
                  Edith Law and
                  Roni Stern},
  editor       = {Maria L. Gini and
                  Onn Shehory and
                  Takayuki Ito and
                  Catholijn M. Jonker},
  title        = {Collaborative health care plan support},
  booktitle    = {International conference on Autonomous Agents and Multi-Agent Systems,
                  {AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
  pages        = {793--796},
  publisher    = {{IFAAMAS}},
  year         = {2013},
  url          = {http://dl.acm.org/citation.cfm?id=2485045},
  timestamp    = {Thu, 09 Sep 2021 16:09:54 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/AmirGLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LopezSF13,
  author       = {Carlos Linares L{\'{o}}pez and
                  Roni Stern and
                  Ariel Felner},
  editor       = {Francesca Rossi},
  title        = {Target-Value Search Revisited},
  booktitle    = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
                  on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages        = {601--607},
  publisher    = {{IJCAI/AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6897},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/LopezSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socialcom/BnayaPSF13,
  author       = {Zahy Bnaya and
                  Rami Puzis and
                  Roni Stern and
                  Ariel Felner},
  title        = {Bandit Algorithms for Social Network Queries},
  booktitle    = {International Conference on Social Computing, SocialCom 2013, SocialCom/PASSAT/BigData/EconCom/BioMedCom
                  2013, Washington, DC, USA, 8-14 September, 2013},
  pages        = {148--153},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SocialCom.2013.29},
  doi          = {10.1109/SOCIALCOM.2013.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socialcom/BnayaPSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BnayaSFZO13,
  author       = {Zahy Bnaya and
                  Roni Stern and
                  Ariel Felner and
                  Roie Zivan and
                  Steven Okamoto},
  editor       = {Malte Helmert and
                  Gabriele R{\"{o}}ger},
  title        = {Multi-Agent Path Finding for Self Interested Agents},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
                  {SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
  pages        = {38--46},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/socs.v4i1.18292},
  doi          = {10.1609/SOCS.V4I1.18292},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/BnayaSFZO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/HatemSR13,
  author       = {Matthew Hatem and
                  Roni Stern and
                  Wheeler Ruml},
  editor       = {Malte Helmert and
                  Gabriele R{\"{o}}ger},
  title        = {Bounded Suboptimal Heuristic Search in Linear Space},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
                  {SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
  pages        = {98--104},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/socs.v4i1.18297},
  doi          = {10.1609/SOCS.V4I1.18297},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/HatemSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/LopezSF13,
  author       = {Carlos Linares L{\'{o}}pez and
                  Roni Stern and
                  Ariel Felner},
  editor       = {Malte Helmert and
                  Gabriele R{\"{o}}ger},
  title        = {Target-Value Search Revisited (Extended Abstract)},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
                  {SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
  pages        = {216--217},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/socs.v4i1.18274},
  doi          = {10.1609/SOCS.V4I1.18274},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/LopezSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/SternKF12,
  author       = {Roni Stern and
                  Meir Kalech and
                  Ariel Felner},
  title        = {Finding patterns in an unknown graph},
  journal      = {{AI} Commun.},
  volume       = {25},
  number       = {3},
  pages        = {229--256},
  year         = {2012},
  url          = {https://doi.org/10.3233/AIC-2012-0532},
  doi          = {10.3233/AIC-2012-0532},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aicom/SternKF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AgrawalBBCGHHJLLLMPSSSSTV12,
  author       = {Vikas Agrawal and
                  Jorge A. Baier and
                  Kostas E. Bekris and
                  Yiling Chen and
                  Artur S. d'Avila Garcez and
                  Pascal Hitzler and
                  Patrik Haslum and
                  Dietmar Jannach and
                  Edith Law and
                  Freddy L{\'{e}}cu{\'{e}} and
                  Lu{\'{\i}}s C. Lamb and
                  Cynthia Matuszek and
                  H{\'{e}}ctor Palacios and
                  Biplav Srivastava and
                  Lokendra Shastri and
                  Nathan R. Sturtevant and
                  Roni Stern and
                  Stefanie Tellex and
                  Stavros Vassos},
  title        = {Reports of the {AAAI} 2012 Conference Workshops},
  journal      = {{AI} Mag.},
  volume       = {33},
  number       = {4},
  pages        = {119},
  year         = {2012},
  url          = {https://doi.org/10.1609/aimag.v33i4.2444},
  doi          = {10.1609/AIMAG.V33I4.2444},
  timestamp    = {Thu, 08 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/AgrawalBBCGHHJLLLMPSSSSTV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FelnerGSSBSSH12,
  author       = {Ariel Felner and
                  Meir Goldenberg and
                  Guni Sharon and
                  Roni Stern and
                  Tal Beja and
                  Nathan R. Sturtevant and
                  Jonathan Schaeffer and
                  Robert Holte},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Partial-Expansion A* with Selective Node Generation},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {471--477},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8137},
  doi          = {10.1609/AAAI.V26I1.8137},
  timestamp    = {Mon, 04 Sep 2023 15:56:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FelnerGSSBSSH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldenbergFSSS12,
  author       = {Meir Goldenberg and
                  Ariel Felner and
                  Roni Stern and
                  Guni Sharon and
                  Jonathan Schaeffer},
  editor       = {Ariel Felner and
                  Nathan R. Sturtevant and
                  Kostas E. Bekris and
                  Roni Stern},
  title        = {A* Variants for Optimal Multi-Agent Pathfinding},
  booktitle    = {Multiagent Pathfinding, Papers from the 2012 {AAAI} Workshop, MAPF@AAAI
                  2012, Toronto, Ontario, Canada, July 22, 2012},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-12-10}},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW12/paper/view/5233},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GoldenbergFSSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SharonSFS12,
  author       = {Guni Sharon and
                  Roni Stern and
                  Ariel Felner and
                  Nathan R. Sturtevant},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Conflict-Based Search For Optimal Multi-Agent Path Finding},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {563--569},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8140},
  doi          = {10.1609/AAAI.V26I1.8140},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SharonSFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MetodiSKC12,
  author       = {Amit Metodi and
                  Roni Stern and
                  Meir Kalech and
                  Michael Codish},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Compiling Model-Based Diagnosis to Boolean Satisfaction},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {793--799},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8222},
  doi          = {10.1609/AAAI.V26I1.8222},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MetodiSKC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SharonSFS12a,
  author       = {Guni Sharon and
                  Roni Stern and
                  Ariel Felner and
                  Nathan R. Sturtevant},
  editor       = {Ariel Felner and
                  Nathan R. Sturtevant and
                  Kostas E. Bekris and
                  Roni Stern},
  title        = {Conflict-Based Search for Optimal Multi-Agent Path Finding},
  booktitle    = {Multiagent Pathfinding, Papers from the 2012 {AAAI} Workshop, MAPF@AAAI
                  2012, Toronto, Ontario, Canada, July 22, 2012},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-12-10}},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW12/paper/view/5239},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SharonSFS12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternKFP12,
  author       = {Roni Tzvi Stern and
                  Meir Kalech and
                  Alexander Feldman and
                  Gregory M. Provan},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  title        = {Exploring the Duality in Conflict-Directed Model-Based Diagnosis},
  booktitle    = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
                  July 22-26, 2012, Toronto, Ontario, Canada},
  pages        = {828--834},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8231},
  doi          = {10.1609/AAAI.V26I1.8231},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SternKFP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/SternSDF12,
  author       = {Asher Stern and
                  Roni Stern and
                  Ido Dagan and
                  Ariel Felner},
  title        = {Efficient Search for Transformation-based Inference},
  booktitle    = {The 50th Annual Meeting of the Association for Computational Linguistics,
                  Proceedings of the Conference, July 8-14, 2012, Jeju Island, Korea
                  - Volume 1: Long Papers},
  pages        = {283--291},
  publisher    = {The Association for Computer Linguistics},
  year         = {2012},
  url          = {https://aclanthology.org/P12-1030/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/SternSDF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/LelisSFZH12,
  author       = {Levi Lelis and
                  Roni Stern and
                  Ariel Felner and
                  Sandra Zilles and
                  Robert C. Holte},
  editor       = {Lee McCluskey and
                  Brian Charles Williams and
                  Jos{\'{e}} Reinaldo Silva and
                  Blai Bonet},
  title        = {Predicting Optimal Solution Cost with Bidirectional Stratified Sampling},
  booktitle    = {Proceedings of the Twenty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
                  June 25-19, 2012},
  publisher    = {{AAAI}},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4704},
  timestamp    = {Wed, 01 Mar 2017 18:10:41 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/LelisSFZH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ThayerSFR12,
  author       = {Jordan Tyler Thayer and
                  Roni Stern and
                  Ariel Felner and
                  Wheeler Ruml},
  editor       = {Lee McCluskey and
                  Brian Charles Williams and
                  Jos{\'{e}} Reinaldo Silva and
                  Blai Bonet},
  title        = {Faster Bounded-Cost Search Using Inadmissible Estimates},
  booktitle    = {Proceedings of the Twenty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
                  June 25-19, 2012},
  publisher    = {{AAAI}},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4706},
  timestamp    = {Tue, 10 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/ThayerSFR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SharonSFS12,
  author       = {Guni Sharon and
                  Roni Stern and
                  Ariel Felner and
                  Nathan R. Sturtevant},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {Meta-Agent Conflict-Based Search For Optimal Multi-Agent Path Finding},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {97--104},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18244},
  doi          = {10.1609/SOCS.V3I1.18244},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SharonSFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SternFH12,
  author       = {Roni Tzvi Stern and
                  Ariel Felner and
                  Robert C. Holte},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {Search-Aware Conditions for Probably Approximately Correct Heuristic
                  Search},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {112--119},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18236},
  doi          = {10.1609/SOCS.V3I1.18236},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SternFH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ThayerSL12,
  author       = {Jordan Tyler Thayer and
                  Roni Stern and
                  Levi H. S. Lelis},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {Are We There Yet? - Estimating Search Progress},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {129--136},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18241},
  doi          = {10.1609/SOCS.V3I1.18241},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/ThayerSL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/GoldenbergFSS12,
  author       = {Meir Goldenberg and
                  Ariel Felner and
                  Roni Stern and
                  Jonathan Schaeffer},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {A* Variants for Optimal Multi-Agent Pathfinding},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {157--158},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18259},
  doi          = {10.1609/SOCS.V3I1.18259},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/GoldenbergFSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ValenzanoATS12,
  author       = {Richard Anthony Valenzano and
                  Shahab Jabbari Arfaee and
                  Jordan Tyler Thayer and
                  Roni Stern},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {Alternative Forms of Bounded Suboptimal Search},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {175--176},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18266},
  doi          = {10.1609/SOCS.V3I1.18266},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/ValenzanoATS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/FelnerGSSBSHS12,
  author       = {Ariel Felner and
                  Meir Goldenberg and
                  Guni Sharon and
                  Roni Stern and
                  Tal Beja and
                  Nathan R. Sturtevant and
                  Robert Holte and
                  Jonathan Schaeffer},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {Partial-Expansion A* with Selective Node Generation},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {180--181},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18227},
  doi          = {10.1609/SOCS.V3I1.18227},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/FelnerGSSBSHS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/LelisSFZH12,
  author       = {Levi H. S. Lelis and
                  Roni Stern and
                  Ariel Felner and
                  Sandra Zilles and
                  Robert C. Holte},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {Predicting Optimal Solution Cost with Bidirectional Stratified Sampling
                  (Abstract)},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {186--187},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18223},
  doi          = {10.1609/SOCS.V3I1.18223},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/LelisSFZH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SharonSFS12a,
  author       = {Guni Sharon and
                  Roni Stern and
                  Ariel Felner and
                  Nathan R. Sturtevant},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {Conflict-Based Search for Optimal Multi-Agent Path Finding},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {190},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18222},
  doi          = {10.1609/SOCS.V3I1.18222},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SharonSFS12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2012mapf,
  editor       = {Ariel Felner and
                  Nathan R. Sturtevant and
                  Kostas E. Bekris and
                  Roni Stern},
  title        = {Multiagent Pathfinding, Papers from the 2012 {AAAI} Workshop, MAPF@AAAI
                  2012, Toronto, Ontario, Canada, July 22, 2012},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-12-10}},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/Library/Workshops/ws12-10.php},
  isbn         = {978-1-57735-575-5},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2012mapf.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SternPF11,
  author       = {Roni Tzvi Stern and
                  Rami Puzis and
                  Ariel Felner},
  editor       = {Fahiem Bacchus and
                  Carmel Domshlak and
                  Stefan Edelkamp and
                  Malte Helmert},
  title        = {Potential Search: {A} Bounded-Cost Search Algorithm},
  booktitle    = {Proceedings of the 21st International Conference on Automated Planning
                  and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2687},
  timestamp    = {Tue, 28 Jun 2011 14:20:04 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/SternPF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SharonSGF11,
  author       = {Guni Sharon and
                  Roni Stern and
                  Meir Goldenberg and
                  Ariel Felner},
  editor       = {Toby Walsh},
  title        = {The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding},
  booktitle    = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
                  on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
                  2011},
  pages        = {662--667},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011},
  url          = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-117},
  doi          = {10.5591/978-1-57735-516-8/IJCAI11-117},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SharonSGF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/LelisSA11,
  author       = {Levi Lelis and
                  Roni Stern and
                  Shahab Jabbari Arfaee},
  editor       = {Daniel Borrajo and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez},
  title        = {Predicting Solution Cost with Conditional Probabilities},
  booktitle    = {Proceedings of the Fourth Annual Symposium on Combinatorial Search,
                  {SOCS} 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011},
  pages        = {100--107},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {https://doi.org/10.1609/socs.v2i1.18196},
  doi          = {10.1609/SOCS.V2I1.18196},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/LelisSA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SharonSGF11,
  author       = {Guni Sharon and
                  Roni Tzvi Stern and
                  Meir Goldenberg and
                  Ariel Felner},
  editor       = {Daniel Borrajo and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez},
  title        = {Pruning Techniques for the Increasing Cost Tree Search for Optimal
                  Multi-agent Pathfinding},
  booktitle    = {Proceedings of the Fourth Annual Symposium on Combinatorial Search,
                  {SOCS} 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011},
  pages        = {150--157},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {https://doi.org/10.1609/socs.v2i1.18201},
  doi          = {10.1609/SOCS.V2I1.18201},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SharonSGF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SternFH11,
  author       = {Roni Stern and
                  Ariel Felner and
                  Robert Holte},
  editor       = {Daniel Borrajo and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez},
  title        = {Probably Approximately Correct Heuristic Search},
  booktitle    = {Proceedings of the Fourth Annual Symposium on Combinatorial Search,
                  {SOCS} 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011},
  pages        = {158--163},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {https://doi.org/10.1609/socs.v2i1.18207},
  doi          = {10.1609/SOCS.V2I1.18207},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SternFH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0041,
  author       = {Asaph Ben{-}Yair and
                  Ariel Felner and
                  Sarit Kraus and
                  Nathan S. Netanyahu and
                  Roni Stern},
  title        = {PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment},
  journal      = {CoRR},
  volume       = {abs/1107.0041},
  year         = {2011},
  url          = {http://arxiv.org/abs/1107.0041},
  eprinttype    = {arXiv},
  eprint       = {1107.0041},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-0041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternKFH10,
  author       = {Roni Stern and
                  Tamar Kulberis and
                  Ariel Felner and
                  Robert Holte},
  editor       = {Maria Fox and
                  David Poole},
  title        = {Using Lookaheads with Optimal Best-First Search},
  booktitle    = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  pages        = {185--190},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/aaai.v24i1.7559},
  doi          = {10.1609/AAAI.V24I1.7559},
  timestamp    = {Mon, 04 Sep 2023 16:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SternKFH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SternKF10,
  author       = {Roni Stern and
                  Meir Kalech and
                  Ariel Felner},
  editor       = {Wiebe van der Hoek and
                  Gal A. Kaminka and
                  Yves Lesp{\'{e}}rance and
                  Michael Luck and
                  Sandip Sen},
  title        = {Searching for a k-clique in unknown graphs},
  booktitle    = {9th International Conference on Autonomous Agents and Multiagent Systems
                  {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  pages        = {1391--1392},
  publisher    = {{IFAAMAS}},
  year         = {2010},
  url          = {https://dl.acm.org/citation.cfm?id=1838397},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/SternKF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SternKF10,
  author       = {Roni Tzvi Stern and
                  Meir Kalech and
                  Ariel Felner},
  editor       = {Ariel Felner and
                  Nathan R. Sturtevant},
  title        = {Searching for a k-Clique in Unknown Graphs},
  booktitle    = {Proceedings of the Third Annual Symposium on Combinatorial Search,
                  {SOCS} 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010},
  pages        = {83--89},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/socs.v1i1.18175},
  doi          = {10.1609/SOCS.V1I1.18175},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SternKF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SternPF10,
  author       = {Roni Tzvi Stern and
                  Rami Puzis and
                  Ariel Felner},
  editor       = {Ariel Felner and
                  Nathan R. Sturtevant},
  title        = {Potential Search: {A} New Greedy Anytime Heuristic Search},
  booktitle    = {Proceedings of the Third Annual Symposium on Combinatorial Search,
                  {SOCS} 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010},
  pages        = {119--120},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/socs.v1i1.18177},
  doi          = {10.1609/SOCS.V1I1.18177},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SternPF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/FelnerSRP07,
  author       = {Ariel Felner and
                  Roni Stern and
                  Jeffrey S. Rosenschein and
                  Alex Pomeransky},
  title        = {Searching for close alternative plans},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {14},
  number       = {3},
  pages        = {209},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10458-007-9012-y},
  doi          = {10.1007/S10458-007-9012-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aamas/FelnerSRP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/FelnerSRP07a,
  author       = {Ariel Felner and
                  Roni Stern and
                  Jeffrey S. Rosenschein and
                  Alex Pomeransky},
  title        = {Searching for close alternative plans},
  journal      = {Auton. Agents Multi Agent Syst.},
  volume       = {14},
  number       = {3},
  pages        = {211--237},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10458-006-9006-1},
  doi          = {10.1007/S10458-006-9006-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aamas/FelnerSRP07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FelnerSKBN04,
  author       = {Ariel Felner and
                  Roni Stern and
                  Sarit Kraus and
                  Asaph Ben{-}Yair and
                  Nathan S. Netanyahu},
  title        = {PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment},
  journal      = {J. Artif. Intell. Res.},
  volume       = {21},
  pages        = {631--670},
  year         = {2004},
  url          = {https://doi.org/10.1613/jair.1373},
  doi          = {10.1613/JAIR.1373},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/FelnerSKBN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FelnerSK02,
  author       = {Ariel Felner and
                  Roni Stern and
                  Sarit Kraus},
  title        = {PHA*: performing A* in unknown physical environments},
  booktitle    = {The First International Joint Conference on Autonomous Agents {\&}
                  Multiagent Systems, {AAMAS} 2002, July 15-19, 2002, Bologna, Italy,
                  Proceedings},
  pages        = {240--247},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/544741.544800},
  doi          = {10.1145/544741.544800},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/FelnerSK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics