Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Shaull Almagor
@inproceedings{DBLP:conf/fossacs/AlmagorD24,
author = {Shaull Almagor and
Neta Dafni},
editor = {Naoki Kobayashi and
James Worrell},
title = {Determinization of Integral Discounted-Sum Automata is Decidable},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14574},
pages = {191--211},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57228-9\_10},
doi = {10.1007/978-3-031-57228-9\_10},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AlmagorD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AlmagorASY24,
author = {Shaull Almagor and
Guy Avni and
Henry Sinclair{-}Banks and
Asaf Yeshurun},
editor = {Naoki Kobayashi and
James Worrell},
title = {Dimension-Minimality and Primality of Counter Nets},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14575},
pages = {229--249},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57231-9\_11},
doi = {10.1007/978-3-031-57231-9\_11},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AlmagorASY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NassarA23,
author = {Antonio Abu Nassar and
Shaull Almagor},
title = {Simulation by Rounds of Letter-to-Letter Transducers},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:19)2023},
doi = {10.46298/LMCS-19(4:19)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/NassarA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/AlmagorY23,
author = {Shaull Almagor and
Omer Yizhaq},
editor = {Frank Drewes and
Mikhail Volkov},
title = {Jumping Automata over Infinite Words},
booktitle = {Developments in Language Theory - 27th International Conference, {DLT}
2023, Ume{\aa}, Sweden, June 12-16, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13911},
pages = {9--22},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33264-7\_2},
doi = {10.1007/978-3-031-33264-7\_2},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/AlmagorY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlmagorAB23,
author = {Shaull Almagor and
Daniel Assa and
Udi Boker},
editor = {Patricia Bouyer and
Srikanth Srinivasan},
title = {Synchronized {CTL} over One-Counter Automata},
booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
{IIIT} Hyderabad, Telangana, India},
series = {LIPIcs},
volume = {284},
pages = {19:1--19:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.19},
doi = {10.4230/LIPICS.FSTTCS.2023.19},
timestamp = {Wed, 13 Dec 2023 14:08:06 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AlmagorAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Almagor0L023,
author = {Shaull Almagor and
Arka Ghosh and
Tim Leys and
Guillermo A. P{\'{e}}rez},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {The Geometry of Reachability in Continuous Vector Addition Systems
with States},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
series = {LIPIcs},
volume = {272},
pages = {11:1--11:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.11},
doi = {10.4230/LIPICS.MFCS.2023.11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Almagor0L023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-01278,
author = {Shaull Almagor and
Omer Yizhaq},
title = {Jumping Automata over Infinite Words},
journal = {CoRR},
volume = {abs/2304.01278},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.01278},
doi = {10.48550/ARXIV.2304.01278},
eprinttype = {arXiv},
eprint = {2304.01278},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-01278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11252,
author = {Justin Kottinger and
Shaull Almagor and
Oren Salzman and
Morteza Lahijanian},
title = {Introducing Delays in Multi-Agent Path Finding},
journal = {CoRR},
volume = {abs/2307.11252},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11252},
doi = {10.48550/ARXIV.2307.11252},
eprinttype = {arXiv},
eprint = {2307.11252},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-14492,
author = {Shaull Almagor and
Guy Avni and
Henry Sinclair{-}Banks and
Asaf Yeshurun},
title = {Dimension-Minimality and Primality of Counter Nets},
journal = {CoRR},
volume = {abs/2307.14492},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.14492},
doi = {10.48550/ARXIV.2307.14492},
eprinttype = {arXiv},
eprint = {2307.14492},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-14492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-03308,
author = {Shaull Almagor and
Daniel Assa and
Udi Boker},
title = {Synchronized {CTL} over One-Counter Automata},
journal = {CoRR},
volume = {abs/2308.03308},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.03308},
doi = {10.48550/ARXIV.2308.03308},
eprinttype = {arXiv},
eprint = {2308.03308},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-03308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09115,
author = {Shaull Almagor and
Neta Dafni},
title = {Determinization of Integral Discounted-Sum Automata is Decidable},
journal = {CoRR},
volume = {abs/2310.09115},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.09115},
doi = {10.48550/ARXIV.2310.09115},
eprinttype = {arXiv},
eprint = {2310.09115},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlmagorBK22,
author = {Shaull Almagor and
Udi Boker and
Orna Kupferman},
title = {What's decidable about weighted automata?},
journal = {Inf. Comput.},
volume = {282},
pages = {104651},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2020.104651},
doi = {10.1016/J.IC.2020.104651},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlmagorBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlmagorCOW22,
author = {Shaull Almagor and
Dmitry Chistikov and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {O-Minimal Invariants for Discrete-Time Dynamical Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {23},
number = {2},
pages = {9:1--9:20},
year = {2022},
url = {https://doi.org/10.1145/3501299},
doi = {10.1145/3501299},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AlmagorCOW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KottingerAL22,
author = {Justin Kottinger and
Shaull Almagor and
Morteza Lahijanian},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Conflict-Based Search for Explainable Multi-Agent Path Finding},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {692--700},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19859},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/KottingerAL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorY22,
author = {Shaull Almagor and
Asaf Yeshurun},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Determinization of One-Counter Nets},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {18:1--18:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.18},
doi = {10.4230/LIPICS.CONCUR.2022.18},
timestamp = {Mon, 26 Sep 2022 16:25:34 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlmagorY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorG22,
author = {Shaull Almagor and
Shai Guendelman},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Concurrent Games with Multiple Topologies},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {34:1--34:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.34},
doi = {10.4230/LIPICS.CONCUR.2022.34},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlmagorG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/NassarA22,
author = {Antonio Abu Nassar and
Shaull Almagor},
editor = {Florin Manea and
Alex Simpson},
title = {Simulation by Rounds of Letter-To-Letter Transducers},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {3:1--3:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.3},
doi = {10.4230/LIPICS.CSL.2022.3},
timestamp = {Thu, 27 Jan 2022 17:26:21 +0100},
biburl = {https://dblp.org/rec/conf/csl/NassarA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/KottingerAL22,
author = {Justin Kottinger and
Shaull Almagor and
Morteza Lahijanian},
title = {Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic
Constraints},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {13494--13499},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9982018},
doi = {10.1109/IROS47612.2022.9982018},
timestamp = {Tue, 03 Jan 2023 14:18:21 +0100},
biburl = {https://dblp.org/rec/conf/iros/KottingerAL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09930,
author = {Justin Kottinger and
Shaull Almagor and
Morteza Lahijanian},
title = {Conflict-Based Search for Explainable Multi-Agent Path Finding},
journal = {CoRR},
volume = {abs/2202.09930},
year = {2022},
url = {https://arxiv.org/abs/2202.09930},
eprinttype = {arXiv},
eprint = {2202.09930},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-00576,
author = {Justin Kottinger and
Shaull Almagor and
Morteza Lahijanian},
title = {Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic
Constraints},
journal = {CoRR},
volume = {abs/2207.00576},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00576},
doi = {10.48550/ARXIV.2207.00576},
eprinttype = {arXiv},
eprint = {2207.00576},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02596,
author = {Shaull Almagor and
Shai Guendelman},
title = {Concurrent Games with Multiple Topologies},
journal = {CoRR},
volume = {abs/2207.02596},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02596},
doi = {10.48550/ARXIV.2207.02596},
eprinttype = {arXiv},
eprint = {2207.02596},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02596.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-00785,
author = {Shaull Almagor and
Arka Ghosh and
Tim Leys and
Guillermo A. P{\'{e}}rez},
title = {The Geometry of Reachability in Continuous Vector Addition Systems
with States},
journal = {CoRR},
volume = {abs/2210.00785},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.00785},
doi = {10.48550/ARXIV.2210.00785},
eprinttype = {arXiv},
eprint = {2210.00785},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-00785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AlmagorOW21,
author = {Shaull Almagor and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {First-Order Orbit Queries},
journal = {Theory Comput. Syst.},
volume = {65},
number = {4},
pages = {638--661},
year = {2021},
url = {https://doi.org/10.1007/s00224-020-09976-7},
doi = {10.1007/S00224-020-09976-7},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/AlmagorOW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlmagorKKO021,
author = {Shaull Almagor and
Toghrul Karimov and
Edon Kelmendi and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {Deciding {\(\omega\)}-regular properties on linear recurrence sequences},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--24},
year = {2021},
url = {https://doi.org/10.1145/3434329},
doi = {10.1145/3434329},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AlmagorKKO021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KottingerAL21,
author = {Justin Kottinger and
Shaull Almagor and
Morteza Lahijanian},
title = {{MAPS-X:} Explainable Multi-Robot Motion Planning via Segmentation},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2021, Xi'an, China, May 30 - June 5, 2021},
pages = {7994--8000},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICRA48506.2021.9561893},
doi = {10.1109/ICRA48506.2021.9561893},
timestamp = {Fri, 22 Oct 2021 19:54:31 +0200},
biburl = {https://dblp.org/rec/conf/icra/KottingerAL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-01512,
author = {Antonio Abu Nassar and
Shaull Almagor},
title = {Simulation by Rounds of Letter-to-Letter Transducers},
journal = {CoRR},
volume = {abs/2105.01512},
year = {2021},
url = {https://arxiv.org/abs/2105.01512},
eprinttype = {arXiv},
eprint = {2105.01512},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-01512.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-03594,
author = {Shaull Almagor and
Orna Kupferman},
title = {Good-Enough Synthesis},
journal = {CoRR},
volume = {abs/2109.03594},
year = {2021},
url = {https://arxiv.org/abs/2109.03594},
eprinttype = {arXiv},
eprint = {2109.03594},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-13716,
author = {Shaull Almagor and
Asaf Yeshurun},
title = {Determinization of One-Counter Nets},
journal = {CoRR},
volume = {abs/2112.13716},
year = {2021},
url = {https://arxiv.org/abs/2112.13716},
eprinttype = {arXiv},
eprint = {2112.13716},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-13716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AlmagorCMP20,
author = {Shaull Almagor and
Micha{\"{e}}l Cadilhac and
Filip Mazowiecki and
Guillermo A. P{\'{e}}rez},
title = {Weak Cost Register Automata are Still Powerful},
journal = {Int. J. Found. Comput. Sci.},
volume = {31},
number = {6},
pages = {689--709},
year = {2020},
url = {https://doi.org/10.1142/S0129054120410026},
doi = {10.1142/S0129054120410026},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AlmagorCMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AlmagorL20,
author = {Shaull Almagor and
Morteza Lahijanian},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Explainable Multi Agent Path Finding},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {34--42},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3398771},
doi = {10.5555/3398761.3398771},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AlmagorL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlmagorK20,
author = {Shaull Almagor and
Orna Kupferman},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Good-Enough Synthesis},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {541--563},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_28},
doi = {10.1007/978-3-030-53291-8\_28},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlmagorK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorCPS020,
author = {Shaull Almagor and
Nathann Cohen and
Guillermo A. P{\'{e}}rez and
Mahsa Shirmohammadi and
James Worrell},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Coverability in 1-VASS with Disequality Tests},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {38:1--38:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.38},
doi = {10.4230/LIPICS.CONCUR.2020.38},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlmagorCPS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorBHT20,
author = {Shaull Almagor and
Udi Boker and
Piotr Hofman and
Patrick Totzke},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Parametrized Universality Problems for One-Counter Nets},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {47:1--47:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.47},
doi = {10.4230/LIPICS.CONCUR.2020.47},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlmagorBHT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Almagor20,
author = {Shaull Almagor},
editor = {Nitin Saxena and
Sunil Simon},
title = {Process Symmetry in Probabilistic Transducers},
booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
{BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
series = {LIPIcs},
volume = {182},
pages = {35:1--35:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.35},
doi = {10.4230/LIPICS.FSTTCS.2020.35},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Almagor20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlmagorKO020,
author = {Shaull Almagor and
Edon Kelmendi and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {Invariants for Continuous Linear Dynamical Systems},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {107:1--107:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.107},
doi = {10.4230/LIPICS.ICALP.2020.107},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlmagorKO020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-11661,
author = {Shaull Almagor and
Edon Kelmendi and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {Invariants for Continuous Linear Dynamical Systems},
journal = {CoRR},
volume = {abs/2004.11661},
year = {2020},
url = {https://arxiv.org/abs/2004.11661},
eprinttype = {arXiv},
eprint = {2004.11661},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-11661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-03435,
author = {Shaull Almagor and
Udi Boker and
Piotr Hofman and
Patrick Totzke},
title = {Parametrized Universality Problems for One-Counter Nets},
journal = {CoRR},
volume = {abs/2005.03435},
year = {2020},
url = {https://arxiv.org/abs/2005.03435},
eprinttype = {arXiv},
eprint = {2005.03435},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-03435.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-11922,
author = {Shaull Almagor},
title = {Process Symmetry in Probabilistic Transducers},
journal = {CoRR},
volume = {abs/2007.11922},
year = {2020},
url = {https://arxiv.org/abs/2007.11922},
eprinttype = {arXiv},
eprint = {2007.11922},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-14432,
author = {Shaull Almagor and
Toghrul Karimov and
Edon Kelmendi and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {Deciding {\(\omega\)}-Regular Properties on Linear Recurrence Sequences},
journal = {CoRR},
volume = {abs/2010.14432},
year = {2020},
url = {https://arxiv.org/abs/2010.14432},
eprinttype = {arXiv},
eprint = {2010.14432},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-14432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-16106,
author = {Justin Kottinger and
Shaull Almagor and
Morteza Lahijanian},
title = {{MAPS-X:} Explainable Multi-Robot Motion Planning via Segmentation},
journal = {CoRR},
volume = {abs/2010.16106},
year = {2020},
url = {https://arxiv.org/abs/2010.16106},
eprinttype = {arXiv},
eprint = {2010.16106},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AlmagorKK19,
author = {Shaull Almagor and
Denis Kuperberg and
Orna Kupferman},
title = {Sensing as a Complexity Measure},
journal = {Int. J. Found. Comput. Sci.},
volume = {30},
number = {6-7},
pages = {831--873},
year = {2019},
url = {https://doi.org/10.1142/S0129054119400203},
doi = {10.1142/S0129054119400203},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AlmagorKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AlmagorO019,
author = {Shaull Almagor and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Rolf Niedermeier and
Christophe Paul},
title = {The Semialgebraic Orbit Problem},
booktitle = {36th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2019, March 13-16, 2019, Berlin, Germany},
series = {LIPIcs},
volume = {126},
pages = {6:1--6:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.STACS.2019.6},
doi = {10.4230/LIPICS.STACS.2019.6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/AlmagorO019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-11023,
author = {Shaull Almagor and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {The Semialgebraic Orbit Problem},
journal = {CoRR},
volume = {abs/1901.11023},
year = {2019},
url = {http://arxiv.org/abs/1901.11023},
eprinttype = {arXiv},
eprint = {1901.11023},
timestamp = {Tue, 05 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-11023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06576,
author = {Shaull Almagor and
Nathann Cohen and
Guillermo A. P{\'{e}}rez and
Mahsa Shirmohammadi and
James Worrell},
title = {Coverability in 1-VASS with Disequality Tests},
journal = {CoRR},
volume = {abs/1902.06576},
year = {2019},
url = {http://arxiv.org/abs/1902.06576},
eprinttype = {arXiv},
eprint = {1902.06576},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorCHO018,
author = {Shaull Almagor and
Brynmor Chapman and
Mehran Hosseini and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Sven Schewe and
Lijun Zhang},
title = {Effective Divergence Analysis for Linear Recurrence Sequences},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {42:1--42:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.42},
doi = {10.4230/LIPICS.CONCUR.2018.42},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AlmagorCHO018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/AlmagorCMP18,
author = {Shaull Almagor and
Micha{\"{e}}l Cadilhac and
Filip Mazowiecki and
Guillermo A. P{\'{e}}rez},
editor = {Mizuho Hoshi and
Shinnosuke Seki},
title = {Weak Cost Register Automata Are Still Powerful},
booktitle = {Developments in Language Theory - 22nd International Conference, {DLT}
2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11088},
pages = {83--95},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98654-8\_7},
doi = {10.1007/978-3-319-98654-8\_7},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/AlmagorCMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlmagorCO018,
author = {Shaull Almagor and
Dmitry Chistikov and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {O-Minimal Invariants for Linear Loops},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {114:1--114:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.114},
doi = {10.4230/LIPICS.ICALP.2018.114},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AlmagorCO018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlmagorKP18,
author = {Shaull Almagor and
Orna Kupferman and
Giuseppe Perelli},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Synthesis of Controllable Nash Equilibria in Quantitative Objective
Game},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {35--41},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/5},
doi = {10.24963/IJCAI.2018/5},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlmagorKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09263,
author = {Shaull Almagor and
Dmitry Chistikov and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {O-Minimal Invariants for Linear Loops},
journal = {CoRR},
volume = {abs/1802.09263},
year = {2018},
url = {http://arxiv.org/abs/1802.09263},
eprinttype = {arXiv},
eprint = {1802.09263},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06336,
author = {Shaull Almagor and
Micha{\"{e}}l Cadilhac and
Filip Mazowiecki and
Guillermo A. P{\'{e}}rez},
title = {Weak Cost Register Automata are Still Powerful},
journal = {CoRR},
volume = {abs/1804.06336},
year = {2018},
url = {http://arxiv.org/abs/1804.06336},
eprinttype = {arXiv},
eprint = {1804.06336},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06336.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07740,
author = {Shaull Almagor and
Brynmor Chapman and
Mehran Hosseini and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {Effective Divergence Analysis for Linear Recurrence Sequences},
journal = {CoRR},
volume = {abs/1806.07740},
year = {2018},
url = {http://arxiv.org/abs/1806.07740},
eprinttype = {arXiv},
eprint = {1806.07740},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10503,
author = {Shaull Almagor and
Rajeev Alur and
Suguman Bansal},
title = {Equilibria in Quantitative Concurrent Games},
journal = {CoRR},
volume = {abs/1809.10503},
year = {2018},
url = {http://arxiv.org/abs/1809.10503},
eprinttype = {arXiv},
eprint = {1809.10503},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-10503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/AlmagorK17,
author = {Shaull Almagor and
Orna Kupferman},
title = {Latticed-LTL synthesis in the presence of noisy inputs},
journal = {Discret. Event Dyn. Syst.},
volume = {27},
number = {3},
pages = {547--572},
year = {2017},
url = {https://doi.org/10.1007/s10626-017-0242-0},
doi = {10.1007/S10626-017-0242-0},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/AlmagorK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlmagorKRV17,
author = {Shaull Almagor and
Orna Kupferman and
Jan Oliver Ringert and
Yaron Velner},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Quantitative Assume Guarantee Synthesis},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {353--374},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_19},
doi = {10.1007/978-3-319-63390-9\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlmagorKRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/AlmagorKK17,
author = {Shaull Almagor and
Denis Kuperberg and
Orna Kupferman},
editor = {Giovanni Pighizzini and
Cezar C{\^{a}}mpeanu},
title = {Sensing as a Complexity Measure},
booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10316},
pages = {3--15},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60252-3\_1},
doi = {10.1007/978-3-319-60252-3\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/AlmagorKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlmagorOW17,
author = {Shaull Almagor and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {The Polytope-Collision Problem},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {24:1--24:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.24},
doi = {10.4230/LIPICS.ICALP.2017.24},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AlmagorOW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Almagor16,
author = {Shaull Almagor},
title = {Formalizing and Reasoning about Quality ({\unicode{1513}}{\unicode{1506}}{\unicode{1512}}
{\unicode{1504}}{\unicode{1493}}{\unicode{1505}}{\unicode{1507}} {\unicode{1489}}{\unicode{1506}}{\unicode{1489}}{\unicode{1512}}{\unicode{1497}}{\unicode{1514}}:
{\unicode{1506}}{\unicode{1500}} {\unicode{1492}}{\unicode{1510}}{\unicode{1512}}{\unicode{1504}}{\unicode{1492}},
{\unicode{1492}}{\unicode{1505}}{\unicode{1511}}{\unicode{1492}},
{\unicode{1493}}{\unicode{1488}}{\unicode{1497}}{\unicode{1499}}{\unicode{1493}}{\unicode{1514}}.)},
school = {Hebrew University of Jerusalem, Israel},
year = {2016},
url = {https://huji-primo.hosted.exlibrisgroup.com/permalink/f/13ns5ae/972HUJI\_ALMA21218878730003701},
timestamp = {Wed, 14 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/il/Almagor16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AlmagorBK16,
author = {Shaull Almagor and
Udi Boker and
Orna Kupferman},
title = {Formally Reasoning About Quality},
journal = {J. {ACM}},
volume = {63},
number = {3},
pages = {24:1--24:56},
year = {2016},
url = {https://doi.org/10.1145/2875421},
doi = {10.1145/2875421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AlmagorBK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorKV16,
author = {Shaull Almagor and
Orna Kupferman and
Yaron Velner},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Minimizing Expected Cost Under Hard Boolean Constraints, with Applications
to Quantitative Synthesis},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {9:1--9:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.9},
doi = {10.4230/LIPICS.CONCUR.2016.9},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/AlmagorKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AlmagorK16,
author = {Shaull Almagor and
Orna Kupferman},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {High-Quality Synthesis Against Stochastic Environments},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {28:1--28:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.28},
doi = {10.4230/LIPICS.CSL.2016.28},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/AlmagorK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlmagorKV16,
author = {Shaull Almagor and
Orna Kupferman and
Yaron Velner},
title = {Minimizing Expected Cost Under Hard Boolean Constraints, with Applications
to Quantitative Synthesis},
journal = {CoRR},
volume = {abs/1604.07064},
year = {2016},
url = {http://arxiv.org/abs/1604.07064},
eprinttype = {arXiv},
eprint = {1604.07064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlmagorKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlmagorK16,
author = {Shaull Almagor and
Orna Kupferman},
title = {High-Quality Synthesis Against Stochastic Environments},
journal = {CoRR},
volume = {abs/1608.06567},
year = {2016},
url = {http://arxiv.org/abs/1608.06567},
eprinttype = {arXiv},
eprint = {1608.06567},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlmagorK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlmagorOW16,
author = {Shaull Almagor and
Jo{\"{e}}l Ouaknine and
James Worrell},
title = {The Polytope-Collision Problem},
journal = {CoRR},
volume = {abs/1611.01344},
year = {2016},
url = {http://arxiv.org/abs/1611.01344},
eprinttype = {arXiv},
eprint = {1611.01344},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlmagorOW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LahijanianAFKV15,
author = {Morteza Lahijanian and
Shaull Almagor and
Dror Fried and
Lydia E. Kavraki and
Moshe Y. Vardi},
editor = {Blai Bonet and
Sven Koenig},
title = {This Time the Robot Settles for a Cost: {A} Quantitative Approach
to Temporal Logic Planning with Partial Satisfaction},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3664--3671},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9670},
doi = {10.1609/AAAI.V29I1.9670},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LahijanianAFKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlmagorAK15,
author = {Shaull Almagor and
Guy Avni and
Orna Kupferman},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Repairing Multi-Player Games},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {325--339},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.325},
doi = {10.4230/LIPICS.CONCUR.2015.325},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/AlmagorAK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlmagorKK15,
author = {Shaull Almagor and
Denis Kuperberg and
Orna Kupferman},
editor = {Prahladh Harsha and
G. Ramalingam},
title = {The Sensing Cost of Monitoring and Synthesis},
booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
Bangalore, India},
series = {LIPIcs},
volume = {45},
pages = {380--393},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.380},
doi = {10.4230/LIPICS.FSTTCS.2015.380},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AlmagorKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AlmagorK14,
author = {Shaull Almagor and
Orna Kupferman},
editor = {Anca Muscholl},
title = {Latticed-LTL Synthesis in the Presence of Noisy Inputs},
booktitle = {Foundations of Software Science and Computation Structures - 17th
International Conference, {FOSSACS} 2014, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
Grenoble, France, April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8412},
pages = {226--241},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54830-7\_15},
doi = {10.1007/978-3-642-54830-7\_15},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AlmagorK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AlmagorKK14,
author = {Shaull Almagor and
Denis Kuperberg and
Orna Kupferman},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Regular Sensing},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {161--173},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.161},
doi = {10.4230/LIPICS.FSTTCS.2014.161},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AlmagorKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlmagorBK14,
author = {Shaull Almagor and
Udi Boker and
Orna Kupferman},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Discounting in {LTL}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {424--439},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_37},
doi = {10.1007/978-3-642-54862-8\_37},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlmagorBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlmagorBK14,
author = {Shaull Almagor and
Udi Boker and
Orna Kupferman},
title = {Discounting in {LTL}},
journal = {CoRR},
volume = {abs/1406.4249},
year = {2014},
url = {http://arxiv.org/abs/1406.4249},
eprinttype = {arXiv},
eprint = {1406.4249},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlmagorBK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlmagorAK13,
author = {Shaull Almagor and
Guy Avni and
Orna Kupferman},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Automatic Generation of Quality Specifications},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {479--494},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_32},
doi = {10.1007/978-3-642-39799-8\_32},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlmagorAK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlmagorBK13,
author = {Shaull Almagor and
Udi Boker and
Orna Kupferman},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Formalizing and Reasoning about Quality},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {15--27},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_3},
doi = {10.1007/978-3-642-39212-2\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlmagorBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MeirAMR11,
author = {Reshef Meir and
Shaull Almagor and
Assaf Michaely and
Jeffrey S. Rosenschein},
editor = {Liz Sonenberg and
Peter Stone and
Kagan Tumer and
Pinar Yolum},
title = {Tight bounds for strategyproof classification},
booktitle = {10th International Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
pages = {319--326},
publisher = {{IFAAMAS}},
year = {2011},
url = {http://portal.acm.org/citation.cfm?id=2030517\&\#38;CFID=69153967\&\#38;CFTOKEN=38069692},
timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
biburl = {https://dblp.org/rec/conf/atal/MeirAMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlmagorK11,
author = {Shaull Almagor and
Orna Kupferman},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Max and Sum Semantics for Alternating Weighted Automata},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {13--27},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_2},
doi = {10.1007/978-3-642-24372-1\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/AlmagorK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlmagorBK11,
author = {Shaull Almagor and
Udi Boker and
Orna Kupferman},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {What's Decidable about Weighted Automata?},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {482--491},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_37},
doi = {10.1007/978-3-642-24372-1\_37},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AlmagorBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlmagorHK10,
author = {Shaull Almagor and
Yoram Hirshfeld and
Orna Kupferman},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Promptness in \emph{omega}-Regular Automata},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {22--36},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_4},
doi = {10.1007/978-3-642-15643-4\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/AlmagorHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
