Search dblp for Publications

export results for "toc:db/conf/atva/atva2023-1.bht:"

 download as .bib file

@inproceedings{DBLP:conf/atva/AfzalGA23,
  author       = {Mohammad Afzal and
                  Ashutosh Gupta and
                  S. Akshay},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Using Counterexamples to Improve Robustness Verification in Neural
                  Networks},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {422--443},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_20},
  doi          = {10.1007/978-3-031-45329-8\_20},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/AfzalGA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/AnsaripourCHLZ23,
  author       = {Matin Ansaripour and
                  Krishnendu Chatterjee and
                  Thomas A. Henzinger and
                  Mathias Lechner and
                  Dorde Zikelic},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Learning Provably Stabilizing Neural Controllers for Discrete-Time
                  Stochastic Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {357--379},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_17},
  doi          = {10.1007/978-3-031-45329-8\_17},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AnsaripourCHLZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BansalLTVW23,
  author       = {Suguman Bansal and
                  Yong Li and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi and
                  Andrew M. Wells},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Model Checking Strategies from Synthesis over Finite Traces},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {227--247},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_11},
  doi          = {10.1007/978-3-031-45329-8\_11},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BansalLTVW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BasinKST23,
  author       = {David A. Basin and
                  Srdan Krstic and
                  Joshua Schneider and
                  Dmitriy Traytel},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Correct and Efficient Policy Monitoring, a Retrospective},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {3--30},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_1},
  doi          = {10.1007/978-3-031-45329-8\_1},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BasinKST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BusattoGastonCMMPR23,
  author       = {Damien Busatto{-}Gaston and
                  Debraj Chakraborty and
                  Anirban Majumdar and
                  Sayan Mukherjee and
                  Guillermo A. P{\'{e}}rez and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Bi-objective Lexicographic Optimization in Markov Decision Processes
                  with Related Objectives},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {203--223},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_10},
  doi          = {10.1007/978-3-031-45329-8\_10},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/BusattoGastonCMMPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ChauKM23,
  author       = {Calvin Chau and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Stefanie Mohr},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Syntactic vs Semantic Linear Abstraction and Refinement of Neural
                  Networks},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {401--421},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_19},
  doi          = {10.1007/978-3-031-45329-8\_19},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/ChauKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/DewesD23,
  author       = {Rafael Dewes and
                  Rayna Dimitrova},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Compositional High-Quality Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {334--354},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_16},
  doi          = {10.1007/978-3-031-45329-8\_16},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/DewesD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/EgolfT23,
  author       = {Derek Egolf and
                  Stavros Tripakis},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {270--291},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_13},
  doi          = {10.1007/978-3-031-45329-8\_13},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/EgolfT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/EngelenPR23,
  author       = {Kasper Engelen and
                  Guillermo A. P{\'{e}}rez and
                  Shrisha Rao},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Graph-Based Reductions for Parametric and Weighted MDPs},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {137--157},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_7},
  doi          = {10.1007/978-3-031-45329-8\_7},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/EngelenPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/FinkbeinerHKP23,
  author       = {Bernd Finkbeiner and
                  Jana Hofmann and
                  Florian Kohn and
                  Noemi Passing},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Reactive Synthesis of Smart Contract Control Flows},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {248--269},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_12},
  doi          = {10.1007/978-3-031-45329-8\_12},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/FinkbeinerHKP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GurungWS23,
  author       = {Amit Gurung and
                  Masaki Waga and
                  Kohei Suenaga},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {33--52},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_2},
  doi          = {10.1007/978-3-031-45329-8\_2},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/GurungWS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/HartmannsKL23,
  author       = {Arnd Hartmanns and
                  Bram Kohlen and
                  Peter Lammich},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Fast Verified SCCs for Probabilistic Model Checking},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {181--202},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_9},
  doi          = {10.1007/978-3-031-45329-8\_9},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/HartmannsKL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/IbarraM23,
  author       = {Oscar H. Ibarra and
                  Ian McQuillan},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {On the Containment Problem for Deterministic Multicounter Machine
                  Models},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {74--94},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_4},
  doi          = {10.1007/978-3-031-45329-8\_4},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/IbarraM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KumarK23,
  author       = {J. S. Sajiv Kumar and
                  Raghavan Komondoor},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Controller Synthesis for Reactive Systems with Communication Delay
                  by Formula Translation},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {292--311},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_14},
  doi          = {10.1007/978-3-031-45329-8\_14},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KumarK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LiST23,
  author       = {Yong Li and
                  Sven Schewe and
                  Qiyi Tang},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {A Novel Family of Finite Automata for Recognizing and Learning {\o}mega-Regular
                  Languages},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {53--73},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_3},
  doi          = {10.1007/978-3-031-45329-8\_3},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/LiST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/LiuTHXZ23,
  author       = {Ying Liu and
                  Andrea Turrini and
                  Ernst Moritz Hahn and
                  Bai Xue and
                  Lijun Zhang},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Scenario Approach for Parametric Markov Models},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {158--180},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_8},
  doi          = {10.1007/978-3-031-45329-8\_8},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/LiuTHXZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/NevatiaM23,
  author       = {Dhruv Nevatia and
                  Benjamin Monmege},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {An Automata Theoretic Characterization of Weighted First-Order Logic},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {115--133},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_6},
  doi          = {10.1007/978-3-031-45329-8\_6},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/NevatiaM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/TaoLSLWZ23,
  author       = {Ye Tao and
                  Wanwei Liu and
                  Fu Song and
                  Zhen Liang and
                  Ji Wang and
                  Hongxu Zhu},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {380--400},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_18},
  doi          = {10.1007/978-3-031-45329-8\_18},
  timestamp    = {Mon, 11 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/TaoLSLWZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/XuGHFDC23,
  author       = {Shengjie Xu and
                  Bineet Ghosh and
                  Clara Hobbs and
                  Enrico Fraccaroli and
                  Parasara Sridhar Duggirala and
                  Samarjit Chakraborty},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Statistical Approach to Efficient and Deterministic Schedule Synthesis
                  for Cyber-Physical Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {312--333},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_15},
  doi          = {10.1007/978-3-031-45329-8\_15},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/XuGHFDC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ZhuLSM23,
  author       = {Haoqing Zhu and
                  Yangge Li and
                  Keyi Shen and
                  Sayan Mitra},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Parallel and Incremental Verification of Hybrid Automata with Ray
                  and Verse},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {95--114},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_5},
  doi          = {10.1007/978-3-031-45329-8\_5},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/ZhuLSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/atva/2023-1,
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8},
  doi          = {10.1007/978-3-031-45329-8},
  isbn         = {978-3-031-45328-1},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/2023-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.