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/hscc2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/hybrid/AdimoolamS023,
author = {Arvind Adimoolam and
Indranil Saha and
Thao Dang},
title = {Safe Self-Triggered Control Based on Precomputed Reachability Sequences},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {7:1--7:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587124},
doi = {10.1145/3575870.3587124},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AdimoolamS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AnandNS23,
author = {Ashwani Anand and
Satya Prakash Nayak and
Anne{-}Kathrin Schmuck},
title = {Poster Abstract: Permissiveness for Strategy Adaptation},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {29:1--29:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589555},
doi = {10.1145/3575870.3589555},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AnandNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BarbotBD23,
author = {Beno{\^{\i}}t Barbot and
Nicolas Basset and
Alexandre Donz{\'{e}}},
title = {Wordgen : a Timed word Generation Tool},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {16:1--16:7},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587116},
doi = {10.1145/3575870.3587116},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BarbotBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CairoliPB23,
author = {Francesca Cairoli and
Nicola Paoletti and
Luca Bortolussi},
title = {Conformal Quantitative Predictive Monitoring of {STL} Requirements
for Stochastic Processes},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {1:1--1:11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587113},
doi = {10.1145/3575870.3587113},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CairoliPB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CardonaKV23,
author = {Gustavo A. Cardona and
Disha Kamale and
Cristian{-}Ioan Vasile},
title = {Mixed Integer Linear Programming Approach for Control Synthesis with
Weighted Signal Temporal Logic},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {3:1--3:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587120},
doi = {10.1145/3575870.3587120},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CardonaKV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ChandratreAKPF23,
author = {Aniruddh Chandratre and
Tomas Hernandez Acosta and
Tanmay Khandait and
Giulia Pedrielli and
Georgios Fainekos},
title = {Stealthy attacks formalized as {STL} formulas for Falsification of
{CPS} Security},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {15:1--15:8},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587122},
doi = {10.1145/3575870.3587122},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ChandratreAKPF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ChenSP023,
author = {Hongkai Chen and
Scott A. Smolka and
Nicola Paoletti and
Shan Lin},
title = {An STL-based Approach to Resilient Control for Cyber-Physical Systems},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {2:1--2:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587119},
doi = {10.1145/3575870.3587119},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ChenSP023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ChongLMTX23,
author = {Stephen Chong and
Ruggero Lanotte and
Massimo Merro and
Simone Tini and
Jian Xiang},
title = {Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical
Systems},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {20:1--20:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587118},
doi = {10.1145/3575870.3587118},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ChongLMTX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DasP23,
author = {Spandan Das and
Pavithra Prabhakar},
title = {Poster Abstract: Stability Analysis of Planar Probabilistic Piecewise
Constant Derivative Systems},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {21:1--21:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589546},
doi = {10.1145/3575870.3589546},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DasP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DebaucheRJ23,
author = {Virginie Debauche and
Matteo Della Rossa and
Rapha{\"{e}}l M. Jungers},
title = {Characterization of the ordering of path-complete stability certificates
with addition-closed templates},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {8:1--8:10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587114},
doi = {10.1145/3575870.3587114},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DebaucheRJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Delimpaltadakis23,
author = {Giannis Delimpaltadakis and
Morteza Lahijanian and
Manuel Mazo Jr. and
Luca Laurenti},
title = {Interval Markov Decision Processes with Continuous Action-Spaces},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {12:1--12:10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587117},
doi = {10.1145/3575870.3587117},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Delimpaltadakis23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/EgidioNRSJ23,
author = {Lucas Neves Egidio and
Satya Prakash Nayak and
Matteo Della Rossa and
Anne{-}Kathrin Schmuck and
Rapha{\"{e}}l M. Jungers},
title = {Poster Abstract: Towards Seamless Reactivity of Hybrid Control},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {27:1--27:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589553},
doi = {10.1145/3575870.3589553},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/EgidioNRSJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FatnassiKYS23,
author = {Wael Fatnassi and
Haitham Khedr and
Valen Yamamoto and
Yasser Shoukry},
title = {{BERN-NN:} Tight Bound Propagation For Neural Networks Using Bernstein
Polynomial Interval Arithmetic},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {19:1--19:11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587126},
doi = {10.1145/3575870.3587126},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FatnassiKYS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FerdowsiFN023,
author = {Arman Ferdowsi and
Matthias F{\"{u}}gger and
Thomas Nowak and
Ulrich Schmid},
title = {Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay
Models},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {10:1--10:11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587125},
doi = {10.1145/3575870.3587125},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FerdowsiFN023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GraciaBLM23,
author = {Ibon Gracia and
Dimitris Boskos and
Luca Laurenti and
Manuel Mazo Jr.},
title = {Distributionally Robust Strategy Synthesis for Switched Stochastic
Systems},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {11:1--11:10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587127},
doi = {10.1145/3575870.3587127},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GraciaBLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HoISL23,
author = {Qi Heng Ho and
Roland B. Ilyes and
Zachary Sunberg and
Morteza Lahijanian},
title = {Poster Abstract: Sampling-based Approach to Robust {STL} Synthesis
for Complex Systems under Uncertainty},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {25:1--25:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589551},
doi = {10.1145/3575870.3589551},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HoISL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HuijgevoortSSH23,
author = {Birgit van Huijgevoort and
Oliver Sch{\"{o}}n and
Sadegh Soudjani and
Sofie Haesaert},
title = {SySCoRe: Synthesis via Stochastic Coupling Relations},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {13:1--13:11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587123},
doi = {10.1145/3575870.3587123},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HuijgevoortSSH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KaragulleABDO23,
author = {Ruya Karagulle and
Nikos Ar{\'{e}}chiga and
Andrew Best and
Jonathan A. DeCastro and
Necmiye Ozay},
title = {Poster Abstract: Safety Guaranteed Preference Learning Approach for
Autonomous Vehicles},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {24:1--24:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589549},
doi = {10.1145/3575870.3589549},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KaragulleABDO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KhandaitCBPF23,
author = {Tanmay Khandait and
Aniruddh Chandratre and
Walstan Baptista and
Giulia Pedrielli and
Georgios Fainekos},
title = {Demo Abstract: Analysing {CPS} Security with Falsification on the
Microsoft Flight Simulator},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {30:1--30:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589550},
doi = {10.1145/3575870.3589550},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KhandaitCBPF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LadnerA23,
author = {Tobias Ladner and
Matthias Althoff},
title = {Automatic Abstraction Refinement in Neural Network Verification using
Sensitivity Analysis},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {18:1--18:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587129},
doi = {10.1145/3575870.3587129},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LadnerA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LuoKB23,
author = {Ertai Luo and
Niklas Kochdumper and
Stanley Bak},
title = {Reachability Analysis for Linear Systems with Uncertain Parameters
using Polynomial Zonotopes},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {17:1--17:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587130},
doi = {10.1145/3575870.3587130},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LuoKB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MajumdarMRSS23,
author = {Rupak Majumdar and
Kaushik Mallik and
Mateusz Rychlicki and
Anne{-}Kathrin Schmuck and
Sadegh Soudjani},
title = {Poster Abstract: {A} Toolchain for Accelerated Symbolic Control},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {28:1--28:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589554},
doi = {10.1145/3575870.3589554},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MajumdarMRSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MambakamAB023,
author = {Akshay Mambakam and
Eugene Asarin and
Nicolas Basset and
Thao Dang},
title = {Pattern Matching and Parameter Identification for Parametric Timed
Regular Expressions},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {14:1--14:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587115},
doi = {10.1145/3575870.3587115},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MambakamAB023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PeruffoM23,
author = {Andrea Peruffo and
Manuel Mazo Jr.},
title = {Poster: Convex Scenario Optimisation for ReLU Networks},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {26:1--26:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589552},
doi = {10.1145/3575870.3589552},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PeruffoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RazYUO23,
author = {Daphna Raz and
Liren Yang and
Brian R. Umberger and
Necmiye Ozay},
title = {Poster Abstract: Reachability and Controlled Invariance for Human
Stability during Sit-to-Stand},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {23:1--23:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589548},
doi = {10.1145/3575870.3589548},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RazYUO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SchonHHS23,
author = {Oliver Sch{\"{o}}n and
Birgit van Huijgevoort and
Sofie Haesaert and
Sadegh Soudjani},
title = {Poster Abstract: Data-Driven Correct-by-Design Control of Parametric
Stochastic Systems{\unicode{10033}}},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {22:1--22:2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3589547},
doi = {10.1145/3575870.3589547},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SchonHHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TranCOHFP23,
author = {Hoang{-}Dung Tran and
Sungwoo Choi and
Hideki Okamoto and
Bardh Hoxha and
Georgios Fainekos and
Danil V. Prokhorov},
title = {Quantitative Verification for Neural Networks using ProbStars},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {4:1--4:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587112},
doi = {10.1145/3575870.3587112},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/TranCOHFP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TranCY0HP23,
author = {Hoang{-}Dung Tran and
Sung Woo Choi and
Xiaodong Yang and
Tomoya Yamaguchi and
Bardh Hoxha and
Danil V. Prokhorov},
title = {Verification of Recurrent Neural Networks with Star Reachability},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {6:1--6:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587128},
doi = {10.1145/3575870.3587128},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/TranCY0HP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WetzlingerKBA23,
author = {Mark Wetzlinger and
Niklas Kochdumper and
Stanley Bak and
Matthias Althoff},
title = {Fully-Automated Verification of Linear Systems Using Reachability
Analysis with Support Functions},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {5:1--5:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587121},
doi = {10.1145/3575870.3587121},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WetzlingerKBA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZareianS23,
author = {Mehrdad Zareian and
Anne{-}Kathrin Schmuck},
title = {Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based
Safety Specifications},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {9:1--9:7},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587111},
doi = {10.1145/3575870.3587111},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ZareianS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2023,
title = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870},
doi = {10.1145/3575870},
timestamp = {Thu, 11 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2023.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-06 02:24 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:
