Shaull Almagor : Publications
Click here to download all publications in a single bibtex file
@inproceedings{AKP18,
title = "Synthesis of Controllable Nash Equilibria in Quantitative Objective Games",
author = "Shaull Almagor and Orna Kupferman and Giuseppe Perelli",
year = "2018",
booktitle = "27th International Joint Conference on Artificial Intelligence {IJCAI} 2018",
}
@inproceedings{ACMP18,
title = "Weak Cost Register Automata are Still Powerful",
author = "Shaull Almagor and Micha{\"{e}}l Cadilhac and Filip Mazowiecki and Guillermo A. P{\'{e}}rez",
year = "2018",
booktitle = "22nd International Conference on Developments in Language Theory {DLT} 2018",
}
@inproceedings{ACHO18
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",
author = "Shaull Almagor and Brynmor Chapman and Mehran Hosseini and Jo{\"{e}}l Ouaknine and James Worrell",
year = "2018",
booktitle = "29th International Conference on Concurrency Theory {CONCUR}, 2018",
}
@inproceedings{ACOW18,
title = "O-Minimal Invariants for Linear Loops",
author = "Shaull Almagor and Dmitry Chistikov and Jo{\"{e}}l Ouaknine and James Worrell",
year = "2018",
booktitle = "45th International Colloquium on Automata, Languages, and Programming, {ICALP} 2018",
}
@article{AK17,
title = "Latticed-LTL synthesis in the presence of noisy inputs",
author = "Shaull Almagor and Orna Kupferman",
year = "2017",
journal = "Discrete Event Dynamic Systems",
number = "3",
pages = "547--572",
url = "https://doi.org/10.1007/s10626-017-0242-0",
volume = "27",
doi = "10.1007/s10626-017-0242-0",
}
@inproceedings{DBLP:conf/icalp/AlmagorOW17,
title = "The Polytope-Collision Problem",
author = "Shaull Almagor and Jo{\"{e}}l Ouaknine and James Worrell",
year = "2017",
booktitle = "44th International Colloquium on Automata, Languages, and Programming, {ICALP} 2017, July 10-14, 2017, Warsaw, Poland",
pages = "24:1--24:14",
url = "https://doi.org/10.4230/LIPIcs.ICALP.2017.24",
doi = "10.4230/LIPIcs.ICALP.2017.24",
}
@inproceedings{AKK17,
title = "Sensing as a Complexity Measure",
author = "Shaull Almagor and Denis Kuperberg and Orna Kupferman",
year = "2017",
booktitle = "Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings",
pages = "3--15",
url = "https://doi.org/10.1007/978-3-319-60252-3_1",
doi = "10.1007/978-3-319-60252-3_1",
}
@inproceedings{AKRV17,
title = "Quantitative Assume Guarantee Synthesis",
author = "Shaull Almagor and Orna Kupferman and Jan Oliver Ringert and Yaron Velner",
year = "2017",
booktitle = "Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}",
pages = "353--374",
url = "https://doi.org/10.1007/978-3-319-63390-9_19",
doi = "10.1007/978-3-319-63390-9_19",
}
@article{DBLP:journals/jacm/AlmagorBK16,
title = "Formally Reasoning About Quality",
author = "Shaull Almagor and Udi Boker and Orna Kupferman",
year = "2016",
journal = "J. {ACM}",
number = "3",
pages = "24:1--24:56",
url = "http://doi.acm.org/10.1145/2875421",
volume = "63",
doi = "10.1145/2875421",
}
@inproceedings{DBLP:conf/csl/AlmagorK16,
title = "High-Quality Synthesis Against Stochastic Environments",
author = "Shaull Almagor and Orna Kupferman",
year = "2016",
booktitle = "25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France",
editor = "Jean{-}Marc Talbot and Laurent Regnier",
isbn = "978-3-95977-022-4",
pages = "28:1--28:17",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.CSL.2016.28",
volume = "62",
doi = "10.4230/LIPIcs.CSL.2016.28",
}
@inproceedings{DBLP:conf/concur/AlmagorKV16,
title = "Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis",
author = "Shaull Almagor and Orna Kupferman and Yaron Velner",
year = "2016",
booktitle = "27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'{e}}bec City, Canada",
editor = "Jos{\'{e}}e Desharnais and Radha Jagadeesan",
isbn = "978-3-95977-017-0",
pages = "9:1--9:15",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.CONCUR.2016.9",
volume = "59",
doi = "10.4230/LIPIcs.CONCUR.2016.9",
}
@inproceedings{DBLP:conf/fsttcs/AlmagorKK15,
title = "The Sensing Cost of Monitoring and Synthesis",
author = "Shaull Almagor and Denis Kuperberg and Orna Kupferman",
year = "2015",
booktitle = "35th {IARCS} Annual Conference on Foundation of Software Technology and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015, Bangalore, India",
editor = "Prahladh Harsha and G. Ramalingam",
isbn = "978-3-939897-97-2",
pages = "380--393",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.FSTTCS.2015.380",
volume = "45",
doi = "10.4230/LIPIcs.FSTTCS.2015.380",
}
@inproceedings{DBLP:conf/concur/AlmagorAK15,
title = "Repairing Multi-Player Games",
author = "Shaull Almagor and Guy Avni and Orna Kupferman",
year = "2015",
booktitle = "26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015",
editor = "Luca Aceto and David de Frutos{-}Escrig",
isbn = "978-3-939897-91-0",
pages = "325--339",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.CONCUR.2015.325",
volume = "42",
doi = "10.4230/LIPIcs.CONCUR.2015.325",
}
@inproceedings{DBLP:conf/aaai/LahijanianAFKV15,
title = "This Time the Robot Settles for a Cost: {A} Quantitative Approach to Temporal Logic Planning with Partial Satisfaction",
author = "Morteza Lahijanian and Shaull Almagor and Dror Fried and Lydia E. Kavraki and Moshe Y. Vardi",
year = "2015",
booktitle = "Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA.}",
editor = "Blai Bonet and Sven Koenig",
isbn = "978-1-57735-698-1",
pages = "3664--3671",
url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/10001",
}
@inproceedings{DBLP:conf/tacas/AlmagorBK14,
title = "Discounting in {LTL}",
author = "Shaull Almagor and Udi Boker and Orna Kupferman",
year = "2014",
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",
editor = "Erika {\'{A}}brah{\'{a}}m and Klaus Havelund",
isbn = "978-3-642-54861-1",
pages = "424--439",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-54862-8_37",
volume = "8413",
doi = "10.1007/978-3-642-54862-8_37",
}
@inproceedings{DBLP:conf/fsttcs/AlmagorKK14,
title = "Regular Sensing",
author = "Shaull Almagor and Denis Kuperberg and Orna Kupferman",
year = "2014",
booktitle = "34th International Conference on Foundation of Software Technology and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014, New Delhi, India",
editor = "Venkatesh Raman and S. P. Suresh",
isbn = "978-3-939897-77-4",
pages = "161--173",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.FSTTCS.2014.161",
volume = "29",
doi = "10.4230/LIPIcs.FSTTCS.2014.161",
}
@inproceedings{DBLP:conf/fossacs/AlmagorK14,
title = "Latticed-LTL Synthesis in the Presence of Noisy Inputs",
author = "Shaull Almagor and Orna Kupferman",
year = "2014",
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",
editor = "Anca Muscholl",
isbn = "978-3-642-54829-1",
pages = "226--241",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-54830-7_15",
volume = "8412",
doi = "10.1007/978-3-642-54830-7_15",
}
@inproceedings{DBLP:conf/icalp/AlmagorBK13,
title = "Formalizing and Reasoning about Quality",
author = "Shaull Almagor and Udi Boker and Orna Kupferman",
year = "2013",
booktitle = "Automata, Languages, and Programming - 40th International Colloquium, {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}",
editor = "Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg",
isbn = "978-3-642-39211-5",
pages = "15--27",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-39212-2_3",
volume = "7966",
doi = "10.1007/978-3-642-39212-2_3",
}
@inproceedings{DBLP:conf/cav/AlmagorAK13,
title = "Automatic Generation of Quality Specifications",
author = "Shaull Almagor and Guy Avni and Orna Kupferman",
year = "2013",
booktitle = "Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings",
editor = "Natasha Sharygina and Helmut Veith",
isbn = "978-3-642-39798-1",
pages = "479--494",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-39799-8_32",
volume = "8044",
doi = "10.1007/978-3-642-39799-8_32",
}
@inproceedings{DBLP:conf/atva/AlmagorBK11,
title = "What's Decidable about Weighted Automata?",
author = "Shaull Almagor and Udi Boker and Orna Kupferman",
year = "2011",
booktitle = "Automated Technology for Verification and Analysis, 9th International Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings",
editor = "Tevfik Bultan and Pao{-}Ann Hsiung",
isbn = "978-3-642-24371-4",
pages = "482--491",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-24372-1_37",
volume = "6996",
doi = "10.1007/978-3-642-24372-1_37",
}
@inproceedings{DBLP:conf/atva/AlmagorK11,
title = "Max and Sum Semantics for Alternating Weighted Automata",
author = "Shaull Almagor and Orna Kupferman",
year = "2011",
booktitle = "Automated Technology for Verification and Analysis, 9th International Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings",
editor = "Tevfik Bultan and Pao{-}Ann Hsiung",
isbn = "978-3-642-24371-4",
pages = "13--27",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-24372-1_2",
volume = "6996",
doi = "10.1007/978-3-642-24372-1_2",
}
@inproceedings{DBLP:conf/atal/MeirAMR11,
title = "Tight bounds for strategyproof classification",
author = "Reshef Meir and Shaull Almagor and Assaf Michaely and Jeffrey S. Rosenschein",
year = "2011",
booktitle = "10th International Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3",
editor = "Liz Sonenberg and Peter Stone and Kagan Tumer and Pinar Yolum",
isbn = "978-0-9826571-5-7",
pages = "319--326",
url = "http://portal.acm.org/citation.cfm?id=2030517&CFID=69153967&CFTOKEN=38069692",
}
@inproceedings{DBLP:conf/atva/AlmagorHK10,
title = "Promptness in \emph{omega}-Regular Automata",
author = "Shaull Almagor and Yoram Hirshfeld and Orna Kupferman",
year = "2010",
booktitle = "Automated Technology for Verification and Analysis - 8th International Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings",
editor = "Ahmed Bouajjani and Wei{-}Ngan Chin",
isbn = "978-3-642-15642-7",
pages = "22--36",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-15643-4_4",
volume = "6252",
doi = "10.1007/978-3-642-15643-4_4",
}