default search action
Search dblp for Publications
export results for "toc:db/conf/hybrid/hscc2022.bht:"
@inproceedings{DBLP:conf/hybrid/0001JAND22, author = {Anand Balakrishnan and Stefan Jaksic and Edgar A. Aguilar and Dejan Nickovic and Jyotirmoy Deshmukh}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {26:1--26:2}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3524734}, doi = {10.1145/3501710.3524734}, timestamp = {Thu, 07 Jul 2022 07:10:17 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/0001JAND22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/0004MR22, author = {Alexander Weber and Elisei Macoveiciuc and Gunther Reissig}, editor = {Ezio Bartocci and Sylvie Putot}, title = {{ABS:} {A} formally correct software tool for space-efficient symbolic synthesis}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {19:1--19:10}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519519}, doi = {10.1145/3501710.3519519}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/0004MR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AazanGM022, author = {Georges Aazan and Antoine Girard and Paolo Mason and Luca Greco}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Stability of discrete-time switched linear systems with {\(\omega\)}-regular switching sequences}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {13:1--13:7}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519543}, doi = {10.1145/3501710.3519543}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/AazanGM022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AbbasP22, author = {Houssam Abbas and Richard Pelphrey}, editor = {Ezio Bartocci and Sylvie Putot}, title = {A Multiresolution Analysis of Temporal Logic}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {17:1--17:10}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519531}, doi = {10.1145/3501710.3519531}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/AbbasP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AdimoolamS22, author = {Arvind Adimoolam and Indranil Saha}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {1:1--1:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519524}, doi = {10.1145/3501710.3519524}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/AdimoolamS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AnandM0Z22, author = {Mahathi Anand and Vishnu Murali and Ashutosh Trivedi and Majid Zamani}, editor = {Ezio Bartocci and Sylvie Putot}, title = {k-Inductive Barrier Certificates for Stochastic Systems}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {12:1--12:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519532}, doi = {10.1145/3501710.3519532}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/AnandM0Z22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ClaviereSAGP22, author = {Arthur Clavi{\`{e}}re and Laura Altieri Sambartolom{\'{e}} and Eric Asselin and Christophe Garion and Claire Pagetti}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Verification of machine learning based cyber-physical systems: a comparative study}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {22:1--22:16}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519540}, doi = {10.1145/3501710.3519540}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ClaviereSAGP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/DebaucheRJ22, author = {Virginie Debauche and Matteo Della Rossa and Rapha{\"{e}}l M. Jungers}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {14:1--14:10}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519539}, doi = {10.1145/3501710.3519539}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/DebaucheRJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Delimpaltadakis22, author = {Giannis Delimpaltadakis and Gabriel de Albuquerque Gleizer and Ivo van Straalen and Manuel Mazo Jr.}, editor = {Ezio Bartocci and Sylvie Putot}, title = {ETCetera: beyond Event-Triggered Control}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {20:1--20:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519523}, doi = {10.1145/3501710.3519523}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Delimpaltadakis22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/EddelandDA22, author = {Johan Lid{\'{e}}n Eddeland and Alexandre Donz{\'{e}} and Knut {\AA}kesson}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Multi-Requirement Testing Using Focused Falsification}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {4:1--4:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519521}, doi = {10.1145/3501710.3519521}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/EddelandDA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/FerlezKS22, author = {James Ferlez and Haitham Khedr and Yasser Shoukry}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Fast {BATLLNN:} Fast Box Analysis of Two-Level Lattice Neural Networks}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {23:1--23:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519533}, doi = {10.1145/3501710.3519533}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/FerlezKS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/FinkbeinerMPSS22, author = {Bernd Finkbeiner and Kaushik Mallik and Noemi Passing and Malte Schledjewski and Anne{-}Kathrin Schmuck}, editor = {Ezio Bartocci and Sylvie Putot}, title = {BOCoSy: Small but Powerful Symbolic Output-Feedback Control}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {24:1--24:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519535}, doi = {10.1145/3501710.3519535}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/FinkbeinerMPSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GhorbelP22, author = {Bassem Ghorbel and Vinayak S. Prabhu}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Linear Time Monitoring for One Variable {TPTL}}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {5:1--5:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519537}, doi = {10.1145/3501710.3519537}, timestamp = {Tue, 05 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/GhorbelP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GleizerMM22, author = {Gabriel de Albuquerque Gleizer and Khushraj Madnani and Manuel Mazo Jr.}, editor = {Ezio Bartocci and Sylvie Putot}, title = {A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {7:1--7:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519534}, doi = {10.1145/3501710.3519534}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GleizerMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LavaeiLACF22, author = {Abolfazl Lavaei and Luigi Di Lillo and Margherita Atzei and Andrea Censi and Emilio Frazzoli}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {27:1--27:2}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3524735}, doi = {10.1145/3501710.3524735}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/LavaeiLACF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LeudoS22, author = {Santiago Jimenez Leudo and Ricardo G. Sanfelice}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {18:1--18:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519514}, doi = {10.1145/3501710.3519514}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/LeudoS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LeudoS22a, author = {Santiago Jimenez Leudo and Ricardo G. Sanfelice}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {30:1--30:2}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3526948}, doi = {10.1145/3501710.3526948}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/LeudoS22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LindemannRP22, author = {Lars Lindemann and Al{\"{e}}na Rodionova and George J. Pappas}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Temporal Robustness of Stochastic Signals}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {10:1--10:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519504}, doi = {10.1145/3501710.3519504}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/LindemannRP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/MaghenemSL22, author = {Mohamed Maghenem and Adnane Saoud and Antonio Lor{\'{\i}}a}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {15:1--15:10}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519528}, doi = {10.1145/3501710.3519528}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/MaghenemSL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/MaoAGC22, author = {Yuanqi Mao and Beh{\c{c}}et A{\c{c}}ikmese and Pierre{-}Lo{\"{\i}}c Garoche and Alexandre Chapoutot}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Successive Convexification for Optimal Control with Signal Temporal Logic Specifications}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {9:1--9:7}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519518}, doi = {10.1145/3501710.3519518}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/MaoAGC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Narasimhamurthy22, author = {Monal Narasimhamurthy and Sriram Sankaranarayanan}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Decoding Output Sequences for Discrete-Time Linear Hybrid Systems}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {6:1--6:7}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519530}, doi = {10.1145/3501710.3519530}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Narasimhamurthy22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Narasimhamurthy22a, author = {Monal Narasimhamurthy and Sriram Sankaranarayanan}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {28:1--28:2}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3524736}, doi = {10.1145/3501710.3524736}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Narasimhamurthy22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/OliveiraT22, author = {Mateus de Oliveira Oliveira and Olga Tveretina}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Mortality and Edge-to-Edge Reachability are Decidable on Surfaces}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {16:1--16:10}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519529}, doi = {10.1145/3501710.3519529}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/OliveiraT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/PuranicDN22, author = {Aniruddh Gopinath Puranic and Jyotirmoy Deshmukh and Stefanos Nikolaidis}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Poster Abstract: Learning from Demonstrations with Temporal Logics}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {29:1--29:2}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3524914}, doi = {10.1145/3501710.3524914}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/PuranicDN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/RutledgeO22, author = {Kwesi Rutledge and Necmiye Ozay}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {8:1--8:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519536}, doi = {10.1145/3501710.3519536}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/RutledgeO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ScherSTK22, author = {Guy Scher and Sadra Sadraddini and Russ Tedrake and Hadas Kress{-}Gazit}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {11:1--11:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519506}, doi = {10.1145/3501710.3519506}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ScherSTK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/TanMP22, author = {Yong Kiam Tan and Stefan Mitsch and Andr{\'{e}} Platzer}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Verifying Switched System Stability With Logic}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {2:1--2:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519541}, doi = {10.1145/3501710.3519541}, timestamp = {Mon, 22 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/TanMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ThorpeO22, author = {Adam J. Thorpe and Meeko Oishi}, editor = {Ezio Bartocci and Sylvie Putot}, title = {{SOCKS:} {A} Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {21:1--21:12}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519525}, doi = {10.1145/3501710.3519525}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ThorpeO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Zhao0ZZTL22, author = {Qingye Zhao and Xin Chen and Zhuoyu Zhao and Yifan Zhang and Enyi Tang and Xuandong Li}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Verifying Neural Network Controlled Systems Using Neural Networks}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {3:1--3:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519511}, doi = {10.1145/3501710.3519511}, timestamp = {Tue, 03 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Zhao0ZZTL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ZhongLZC22, author = {Bingzhuo Zhong and Abolfazl Lavaei and Majid Zamani and Marco Caccamo}, editor = {Ezio Bartocci and Sylvie Putot}, title = {Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {25:1--25:2}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3524732}, doi = {10.1145/3501710.3524732}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/ZhongLZC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hybrid/2022, editor = {Ezio Bartocci and Sylvie Putot}, title = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710}, doi = {10.1145/3501710}, isbn = {978-1-4503-9196-2}, timestamp = {Thu, 07 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.