Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hybrid/hscc2022.bht:"
download as .bib file
@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}
}
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.
retrieved on 2024-06-25 10:45 CEST from data curated 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:
