Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Georgios Fainekos
@article{DBLP:journals/ijrr/HekmatnejadHDYF24,
author = {Mohammad Hekmatnejad and
Bardh Hoxha and
Jyotirmoy V. Deshmukh and
Yezhou Yang and
Georgios Fainekos},
title = {Formalizing and evaluating requirements of perception systems for
automated vehicles using spatio-temporal perception logic},
journal = {Int. J. Robotics Res.},
volume = {43},
number = {2},
pages = {203--238},
year = {2024},
url = {https://doi.org/10.1177/02783649231223546},
doi = {10.1177/02783649231223546},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/HekmatnejadHDYF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-11737,
author = {Victoria Marie Tuck and
Pei{-}Wei Chen and
Georgios Fainekos and
Bardh Hoxha and
Hideki Okamoto and
S. Shankar Sastry and
Sanjit A. Seshia},
title = {SMT-Based Dynamic Multi-Robot Task Allocation},
journal = {CoRR},
volume = {abs/2403.11737},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.11737},
doi = {10.48550/ARXIV.2403.11737},
eprinttype = {arXiv},
eprint = {2403.11737},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-11737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-15826,
author = {Navid Hashemi and
Bardh Hoxha and
Danil V. Prokhorov and
Georgios Fainekos and
Jyotirmoy Deshmukh},
title = {Scaling Learning based Policy Optimization for Temporal Tasks via
Dropout},
journal = {CoRR},
volume = {abs/2403.15826},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.15826},
doi = {10.48550/ARXIV.2403.15826},
eprinttype = {arXiv},
eprint = {2403.15826},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-15826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-20258,
author = {Mitchell Black and
Georgios Fainekos and
Bardh Hoxha and
Dimitra Panagou},
title = {Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement
Uncertainty},
journal = {CoRR},
volume = {abs/2403.20258},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.20258},
doi = {10.48550/ARXIV.2403.20258},
eprinttype = {arXiv},
eprint = {2403.20258},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-20258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/WatanabeFHLP0023,
author = {Kandai Watanabe and
Georgios Fainekos and
Bardh Hoxha and
Morteza Lahijanian and
Danil V. Prokhorov and
Sriram Sankaranarayanan and
Tomoya Yamaguchi},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Timed Partial Order Inference Algorithm},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {639--647},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27246},
doi = {10.1609/ICAPS.V33I1.27246},
timestamp = {Wed, 20 Sep 2023 11:58:30 +0200},
biburl = {https://dblp.org/rec/conf/aips/WatanabeFHLP0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/HashemiQDFHP023,
author = {Navid Hashemi and
Xin Qin and
Jyotirmoy V. Deshmukh and
Georgios Fainekos and
Bardh Hoxha and
Danil V. Prokhorov and
Tomoya Yamaguchi},
title = {Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives},
booktitle = {American Control Conference, {ACC} 2023, San Diego, CA, USA, May 31
- June 2, 2023},
pages = {4096--4103},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/ACC55779.2023.10156345},
doi = {10.23919/ACC55779.2023.10156345},
timestamp = {Tue, 11 Jul 2023 16:44:02 +0200},
biburl = {https://dblp.org/rec/conf/amcc/HashemiQDFHP023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ThibeaultKPF23,
author = {Quinn Thibeault and
Tanmay Khandait and
Giulia Pedrielli and
Georgios Fainekos},
title = {Search Based Testing for Code Coverage and Falsification in Cyber-Physical
Systems},
booktitle = {19th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2023, Auckland, New Zealand, August 26-30, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CASE56687.2023.10260576},
doi = {10.1109/CASE56687.2023.10260576},
timestamp = {Thu, 05 Oct 2023 18:00:33 +0200},
biburl = {https://dblp.org/rec/conf/case/ThibeaultKPF23.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/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/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/iccps/HashemiH0PFD23,
author = {Navid Hashemi and
Bardh Hoxha and
Tomoya Yamaguchi and
Danil V. Prokhorov and
Georgios Fainekos and
Jyotirmoy Deshmukh},
editor = {Sayan Mitra and
Nalini Venkatasubramanian and
Abhishek Dubey and
Lu Feng and
Mahsa Ghasemi and
Jonathan Sprinkle},
title = {A Neurosymbolic Approach to the Verification of Temporal Logic Properties
of Learning-enabled Control Systems},
booktitle = {Proceedings of the {ACM/IEEE} 14th International Conference on Cyber-Physical
Systems, {ICCPS} 2023, (with CPS-IoT Week 2023), San Antonio, TX,
USA, May 9-12, 2023},
pages = {98--109},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576841.3585928},
doi = {10.1145/3576841.3585928},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/HashemiH0PFD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/BlackFHPP23,
author = {Mitchell Black and
Georgios Fainekos and
Bardh Hoxha and
Danil V. Prokhorov and
Dimitra Panagou},
title = {Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier
Functions},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2023, London, UK, May 29 - June 2, 2023},
pages = {12686--12692},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICRA48891.2023.10161379},
doi = {10.1109/ICRA48891.2023.10161379},
timestamp = {Tue, 08 Aug 2023 10:24:29 +0200},
biburl = {https://dblp.org/rec/conf/icra/BlackFHPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AndersonFHOP23,
author = {Jacob Anderson and
Georgios Fainekos and
Bardh Hoxha and
Hideki Okamoto and
Danil V. Prokhorov},
editor = {Panagiotis Katsaros and
Laura Nenzi},
title = {Pattern Matching for Perception Streams},
booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki,
Greece, October 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14245},
pages = {251--270},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44267-4\_13},
doi = {10.1007/978-3-031-44267-4\_13},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AndersonFHOP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-02501,
author = {Kandai Watanabe and
Bardh Hoxha and
Danil V. Prokhorov and
Georgios Fainekos and
Morteza Lahijanian and
Sriram Sankaranarayanan and
Tomoya Yamaguchi},
title = {Timed Partial Order Inference Algorithm},
journal = {CoRR},
volume = {abs/2302.02501},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.02501},
doi = {10.48550/ARXIV.2302.02501},
eprinttype = {arXiv},
eprint = {2302.02501},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-02501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-04431,
author = {Keyvan Majd and
Geoffrey Clark and
Tanmay Khandait and
Siyu Zhou and
Sriram Sankaranarayanan and
Georgios Fainekos and
Heni Ben Amor},
title = {Safe Robot Learning in Assistive Devices through Neural Network Repair},
journal = {CoRR},
volume = {abs/2303.04431},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.04431},
doi = {10.48550/ARXIV.2303.04431},
eprinttype = {arXiv},
eprint = {2303.04431},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-04431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05394,
author = {Navid Hashemi and
Bardh Hoxha and
Tomoya Yamaguchi and
Danil V. Prokhorov and
Georgios Fainekos and
Jyotirmoy Deshmukh},
title = {A Neurosymbolic Approach to the Verification of Temporal Logic Properties
of Learning enabled Control Systems},
journal = {CoRR},
volume = {abs/2303.05394},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05394},
doi = {10.48550/ARXIV.2303.05394},
eprinttype = {arXiv},
eprint = {2303.05394},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05394.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-06582,
author = {Keyvan Majd and
Geoffrey Clark and
Tanmay Khandait and
Siyu Zhou and
Sriram Sankaranarayanan and
Georgios Fainekos and
Heni Ben Amor},
title = {Certifiably-correct Control Policies for Safe Learning and Adaptation
in Assistive Robotics},
journal = {CoRR},
volume = {abs/2303.06582},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.06582},
doi = {10.48550/ARXIV.2303.06582},
eprinttype = {arXiv},
eprint = {2303.06582},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-06582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-01040,
author = {Mitchell Black and
Georgios Fainekos and
Bardh Hoxha and
Danil V. Prokhorov and
Dimitra Panagou},
title = {Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier
Functions},
journal = {CoRR},
volume = {abs/2304.01040},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.01040},
doi = {10.48550/ARXIV.2304.01040},
eprinttype = {arXiv},
eprint = {2304.01040},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-01040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-09482,
author = {Yiqi Zhao and
Bardh Hoxha and
Georgios Fainekos and
Jyotirmoy V. Deshmukh and
Lars Lindemann},
title = {Robust Conformal Prediction for {STL} Runtime Verification under Distribution
Shift},
journal = {CoRR},
volume = {abs/2311.09482},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.09482},
doi = {10.48550/ARXIV.2311.09482},
eprinttype = {arXiv},
eprint = {2311.09482},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09482.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-17201,
author = {Shuo Yang and
Mitchell Black and
Georgios Fainekos and
Bardh Hoxha and
Hideki Okamoto and
Rahul Mangharam},
title = {Safe Control Synthesis for Hybrid Systems through Local Control Barrier
Functions},
journal = {CoRR},
volume = {abs/2311.17201},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.17201},
doi = {10.48550/ARXIV.2311.17201},
eprinttype = {arXiv},
eprint = {2311.17201},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-17201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-07803,
author = {Hardik Parwana and
Mitchell Black and
Bardh Hoxha and
Hideki Okamoto and
Georgios Fainekos and
Danil V. Prokhorov and
Dimitra Panagou},
title = {Feasible Space Monitoring for Multiple Control Barrier Functions with
application to Large Scale Indoor Navigation},
journal = {CoRR},
volume = {abs/2312.07803},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.07803},
doi = {10.48550/ARXIV.2312.07803},
eprinttype = {arXiv},
eprint = {2312.07803},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-07803.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/MajdCK00FA22,
author = {Keyvan Majd and
Geoffrey Mitchell Clark and
Tanmay Khandait and
Siyu Zhou and
Sriram Sankaranarayanan and
Georgios Fainekos and
Heni Ben Amor},
editor = {Karen Liu and
Dana Kulic and
Jeffrey Ichnowski},
title = {Safe Robot Learning in Assistive Devices through Neural Network Repair},
booktitle = {Conference on Robot Learning, CoRL 2022, 14-18 December 2022, Auckland,
New Zealand},
series = {Proceedings of Machine Learning Research},
volume = {205},
pages = {2148--2158},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v205/majd23a.html},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/corl/MajdCK00FA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/DadvarMOFS22,
author = {Mehdi Dadvar and
Keyvan Majd and
Elena Oikonomou and
Georgios Fainekos and
Siddharth Srivastava},
title = {Joint Communication and Motion Planning for Cobots},
booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022,
Philadelphia, PA, USA, May 23-27, 2022},
pages = {4771--4777},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICRA46639.2022.9812261},
doi = {10.1109/ICRA46639.2022.9812261},
timestamp = {Wed, 20 Jul 2022 18:22:23 +0200},
biburl = {https://dblp.org/rec/conf/icra/DadvarMOFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/LafmejaniBF22,
author = {Amir Salimi Lafmejani and
Spring Berman and
Georgios Fainekos},
title = {{NMPC-LBF:} Nonlinear {MPC} with Learned Barrier Function for Decentralized
Safe Navigation of Multiple Robots in Unknown Environments},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {10297--10303},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9981177},
doi = {10.1109/IROS47612.2022.9981177},
timestamp = {Tue, 03 Jan 2023 14:18:21 +0100},
biburl = {https://dblp.org/rec/conf/iros/LafmejaniBF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/AndersonHF22,
author = {Jacob Anderson and
Mohammad Hekmatnejad and
Georgios Fainekos},
title = {PyFoReL: {A} Domain-Specific Language for Formal Requirements in Temporal
Logic},
booktitle = {30th {IEEE} International Requirements Engineering Conference, {RE}
2022, Melbourne, Australia, August 15-19, 2022},
pages = {266--267},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RE54965.2022.00037},
doi = {10.1109/RE54965.2022.00037},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/AndersonHF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-14372,
author = {Mohammad Hekmatnejad and
Bardh Hoxha and
Jyotirmoy V. Deshmukh and
Yezhou Yang and
Georgios Fainekos},
title = {Formalizing and Evaluating Requirements of Perception Systems for
Automated Vehicles using Spatio-Temporal Perception Logic},
journal = {CoRR},
volume = {abs/2206.14372},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.14372},
doi = {10.48550/ARXIV.2206.14372},
eprinttype = {arXiv},
eprint = {2206.14372},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-14372.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-07974,
author = {Amir Salimi Lafmejani and
Spring Berman and
Georgios Fainekos},
title = {{NMPC-LBF:} Nonlinear {MPC} with Learned Barrier Function for Decentralized
Safe Navigation of Multiple Robots in Unknown Environments},
journal = {CoRR},
volume = {abs/2208.07974},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.07974},
doi = {10.48550/ARXIV.2208.07974},
eprinttype = {arXiv},
eprint = {2208.07974},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-07974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-07439,
author = {Navid Hashemi and
Xin Qin and
Jyotirmoy V. Deshmukh and
Georgios Fainekos and
Bardh Hoxha and
Danil V. Prokhorov and
Tomoya Yamaguchi},
title = {Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives},
journal = {CoRR},
volume = {abs/2210.07439},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.07439},
doi = {10.48550/ARXIV.2210.07439},
eprinttype = {arXiv},
eprint = {2210.07439},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-07439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/YaghoubiMFYPH21,
author = {Shakiba Yaghoubi and
Keyvan Majd and
Georgios Fainekos and
Tomoya Yamaguchi and
Danil V. Prokhorov and
Bardh Hoxha},
title = {Risk-Bounded Control Using Stochastic Barrier Functions},
journal = {{IEEE} Control. Syst. Lett.},
volume = {5},
number = {5},
pages = {1831--1836},
year = {2021},
url = {https://doi.org/10.1109/LCSYS.2020.3043287},
doi = {10.1109/LCSYS.2020.3043287},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/YaghoubiMFYPH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/YaghoubiMF0PH21,
author = {Shakiba Yaghoubi and
Keyvan Majd and
Georgios Fainekos and
Tomoya Yamaguchi and
Danil V. Prokhorov and
Bardh Hoxha},
title = {Risk-bounded Control using Stochastic Barrier Functions},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {1131--1136},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9483118},
doi = {10.23919/ACC50511.2021.9483118},
timestamp = {Fri, 30 Jul 2021 11:11:12 +0200},
biburl = {https://dblp.org/rec/conf/amcc/YaghoubiMF0PH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/ErnstABCDFFG0KM21,
author = {Gidon Ernst and
Paolo Arcaini and
Ismail Bennani and
Aniruddh Chandratre and
Alexandre Donz{\'{e}} and
Georgios Fainekos and
Goran Frehse and
Khouloud Gaaloul and
Jun Inoue and
Tanmay Khandait and
Logan Mathesen and
Claudio Menghi and
Giulia Pedrielli and
Marc Pouzet and
Masaki Waga and
Shakiba Yaghoubi and
Yoriyuki Yamagata and
Zhenya Zhang},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP} 2021 Category Report: Falsification with Validation of
Results},
booktitle = {8th International Workshop on Applied Verification of Continuous and
Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021},
series = {EPiC Series in Computing},
volume = {80},
pages = {133--152},
publisher = {EasyChair},
year = {2021},
url = {https://doi.org/10.29007/xwl1},
doi = {10.29007/XWL1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arch/ErnstABCDFFG0KM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/MathesenPF21,
author = {Logan Mathesen and
Giulia Pedrielli and
Georgios Fainekos},
title = {Efficient Optimization-Based Falsification of Cyber-Physical Systems
with Multiple Conjunctive Requirements},
booktitle = {17th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2021, Lyon, France, August 23-27, 2021},
pages = {732--737},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CASE49439.2021.9551474},
doi = {10.1109/CASE49439.2021.9551474},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/MathesenPF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YaghoubiF0PH21,
author = {Shakiba Yaghoubi and
Georgios Fainekos and
Tomoya Yamaguchi and
Danil V. Prokhorov and
Bardh Hoxha},
title = {Risk-Bounded Control with Kalman Filtering and Stochastic Barrier
Functions},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {5213--5219},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683756},
doi = {10.1109/CDC45484.2021.9683756},
timestamp = {Tue, 17 May 2022 15:53:17 +0200},
biburl = {https://dblp.org/rec/conf/cdc/YaghoubiF0PH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SpantidiAF21,
author = {Ourania Spantidi and
Iraklis Anagnostopoulos and
Georgios Fainekos},
title = {Efficient Resource Management of Clustered Multi-Processor Systems
Through Formal Property Exploration},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {1673--1678},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9473998},
doi = {10.23919/DATE51398.2021.9473998},
timestamp = {Wed, 21 Jul 2021 10:04:34 +0200},
biburl = {https://dblp.org/rec/conf/date/SpantidiAF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CaoTCFPC21,
author = {Yumeng Cao and
Quinn Thibeault and
Aniruddh Chandratre and
Georgios Fainekos and
Giulia Pedrielli and
Mauricio Castillo{-}Effen},
editor = {Linh Thi Xuan Phan and
David Broman},
title = {Towards assurance case evidence generation through search based testing:
work-in-progress},
booktitle = {{EMSOFT} '21: Proceedings of the 2021 International Conference on
Embedded Software, Virtual Event, October 8 - 15, 2021},
pages = {41--42},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477244.3477984},
doi = {10.1145/3477244.3477984},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/CaoTCFPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ThibeaultACPF21,
author = {Quinn Thibeault and
Jacob Anderson and
Aniruddh Chandratre and
Giulia Pedrielli and
Georgios Fainekos},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {PSY-TaLiRo: {A} Python Toolbox for Search-Based Test Generation for
Cyber-Physical Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {223--231},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_15},
doi = {10.1007/978-3-030-85248-1\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ThibeaultACPF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/MajdY0HPF21,
author = {Keyvan Majd and
Shakiba Yaghoubi and
Tomoya Yamaguchi and
Bardh Hoxha and
Danil V. Prokhorov and
Georgios Fainekos},
title = {Safe Navigation in Human Occupied Environments Using Sampling and
Control Barrier Functions},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
pages = {5794--5800},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IROS51168.2021.9636406},
doi = {10.1109/IROS51168.2021.9636406},
timestamp = {Wed, 22 Dec 2021 12:36:19 +0100},
biburl = {https://dblp.org/rec/conf/iros/MajdY0HPF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BalakrishnanDHY21,
author = {Anand Balakrishnan and
Jyotirmoy Deshmukh and
Bardh Hoxha and
Tomoya Yamaguchi and
Georgios Fainekos},
editor = {Lu Feng and
Dana Fisman},
title = {PerceMon: Online Monitoring for Perception Systems},
booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
Event, October 11-14, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12974},
pages = {297--308},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9\_18},
doi = {10.1007/978-3-030-88494-9\_18},
timestamp = {Thu, 07 Oct 2021 16:28:30 +0200},
biburl = {https://dblp.org/rec/conf/rv/BalakrishnanDHY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-01204,
author = {Keyvan Majd and
Shakiba Yaghoubi and
Tomoya Yamaguchi and
Bardh Hoxha and
Danil V. Prokhorov and
Georgios Fainekos},
title = {Safe Navigation in Human Occupied Environments Using Sampling and
Control Barrier Functions},
journal = {CoRR},
volume = {abs/2105.01204},
year = {2021},
url = {https://arxiv.org/abs/2105.01204},
eprinttype = {arXiv},
eprint = {2105.01204},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-01204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02200,
author = {Quinn Thibeault and
Jacob Anderson and
Aniruddh Chandratre and
Giulia Pedrielli and
Georgios Fainekos},
title = {PSY-TaLiRo: {A} Python Toolbox for Search-Based Test Generation for
Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2106.02200},
year = {2021},
url = {https://arxiv.org/abs/2106.02200},
eprinttype = {arXiv},
eprint = {2106.02200},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-08289,
author = {Anand Balakrishnan and
Jyotirmoy Deshmukh and
Bardh Hoxha and
Tomoya Yamaguchi and
Georgios Fainekos},
title = {PerceMon: Online Monitoring for Perception Systems},
journal = {CoRR},
volume = {abs/2108.08289},
year = {2021},
url = {https://arxiv.org/abs/2108.08289},
eprinttype = {arXiv},
eprint = {2108.08289},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-08289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-14004,
author = {Mehdi Dadvar and
Keyvan Majd and
Elena Oikonomou and
Georgios Fainekos and
Siddharth Srivastava},
title = {Joint Communication and Motion Planning for Cobots},
journal = {CoRR},
volume = {abs/2109.14004},
year = {2021},
url = {https://arxiv.org/abs/2109.14004},
eprinttype = {arXiv},
eprint = {2109.14004},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-14004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-14041,
author = {Keyvan Majd and
Siyu Zhou and
Heni Ben Amor and
Georgios Fainekos and
Sriram Sankaranarayanan},
title = {Local Repair of Neural Networks Using Optimization},
journal = {CoRR},
volume = {abs/2109.14041},
year = {2021},
url = {https://arxiv.org/abs/2109.14041},
eprinttype = {arXiv},
eprint = {2109.14041},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-14041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-10729,
author = {Giulia Pedrielli and
Tanmay Khandait and
Surdeep Chotaliya and
Quinn Thibeault and
Hao Huang and
Mauricio Castillo{-}Effen and
Georgios Fainekos},
title = {Part-X: {A} Family of Stochastic Algorithms for Search-Based Test
Generation with Probabilistic Guarantees},
journal = {CoRR},
volume = {abs/2110.10729},
year = {2021},
url = {https://arxiv.org/abs/2110.10729},
eprinttype = {arXiv},
eprint = {2110.10729},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-10729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-14912,
author = {Shakiba Yaghoubi and
Georgios Fainekos and
Tomoya Yamaguchi and
Danil V. Prokhorov and
Bardh Hoxha},
title = {Risk-Bounded Control with Kalman Filtering and Stochastic Barrier
Functions},
journal = {CoRR},
volume = {abs/2112.14912},
year = {2021},
url = {https://arxiv.org/abs/2112.14912},
eprinttype = {arXiv},
eprint = {2112.14912},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/TuncaliFPIK20,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos and
Danil V. Prokhorov and
Hisahiro Ito and
James Kapinski},
title = {Requirements-Driven Test Generation for Autonomous Vehicles With Machine
Learning Components},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {5},
number = {2},
pages = {265--280},
year = {2020},
url = {https://doi.org/10.1109/TIV.2019.2955903},
doi = {10.1109/TIV.2019.2955903},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tiv/TuncaliFPIK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/ErnstABDFFMMPPY20,
author = {Gidon Ernst and
Paolo Arcaini and
Ismail Bennani and
Alexandre Donz{\'{e}} and
Georgios Fainekos and
Goran Frehse and
Logan Mathesen and
Claudio Menghi and
Giulia Pedrielli and
Marc Pouzet and
Shakiba Yaghoubi and
Yoriyuki Yamagata and
Zhenya Zhang},
title = {{ARCH-COMP} 2020 Category Report: Falsification},
booktitle = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
series = {EPiC Series in Computing},
volume = {74},
pages = {140--152},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/trr1},
doi = {10.29007/TRR1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arch/ErnstABDFFMMPPY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/BashettyAF20,
author = {Sai Krishna Bashetty and
Heni Ben Amor and
Georgios Fainekos},
title = {DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for
Automated Driving Systems},
booktitle = {2020 {IEEE} International Conference on Robotics and Automation, {ICRA}
2020, Paris, France, May 31 - August 31, 2020},
pages = {11353--11360},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICRA40945.2020.9197053},
doi = {10.1109/ICRA40945.2020.9197053},
timestamp = {Mon, 28 Sep 2020 12:19:08 +0200},
biburl = {https://dblp.org/rec/conf/icra/BashettyAF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ita/YaghoubiF20,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
title = {Worst-case Satisfaction of {STL} Specifications Using Feedforward
Neural Network Controllers: {A} Lagrange Multipliers Approach},
booktitle = {Information Theory and Applications Workshop, {ITA} 2020, San Diego,
CA, USA, February 2-7, 2020},
pages = {1--20},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ITA50056.2020.9244969},
doi = {10.1109/ITA50056.2020.9244969},
timestamp = {Thu, 19 Nov 2020 14:03:02 +0100},
biburl = {https://dblp.org/rec/conf/ita/YaghoubiF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/HekmatnejadHF20,
author = {Mohammad Hekmatnejad and
Bardh Hoxha and
Georgios Fainekos},
title = {Search-based Test-CASe Generation by Monitoring Responsibility Safety
Rules},
booktitle = {23rd {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ITSC45102.2020.9294489},
doi = {10.1109/ITSC45102.2020.9294489},
timestamp = {Mon, 18 Jan 2021 09:44:55 +0100},
biburl = {https://dblp.org/rec/conf/itsc/HekmatnejadHF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/YaghoubiFS20,
author = {Shakiba Yaghoubi and
Georgios Fainekos and
Sriram Sankaranarayanan},
title = {Training Neural Network Controllers Using Control Barrier Functions
in the Presence of Disturbances},
booktitle = {23rd {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ITSC45102.2020.9294485},
doi = {10.1109/ITSC45102.2020.9294485},
timestamp = {Mon, 18 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/YaghoubiFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CralleySHF20,
author = {Joseph Cralley and
Ourania Spantidi and
Bardh Hoxha and
Georgios Fainekos},
editor = {Jyotirmoy Deshmukh and
Dejan Nickovic},
title = {TLTk: {A} Toolbox for Parallel Robustness Computation of Temporal
Logic Specifications},
booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los
Angeles, CA, USA, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12399},
pages = {404--416},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60508-7\_22},
doi = {10.1007/978-3-030-60508-7\_22},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/CralleySHF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-08088,
author = {Shakiba Yaghoubi and
Georgios Fainekos and
Sriram Sankaranarayanan},
title = {Training Neural Network Controllers Using Control Barrier Functions
in the Presence of Disturbances},
journal = {CoRR},
volume = {abs/2001.08088},
year = {2020},
url = {https://arxiv.org/abs/2001.08088},
eprinttype = {arXiv},
eprint = {2001.08088},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-11766,
author = {Sai Krishna Bashetty and
Heni Ben Amor and
Georgios Fainekos},
title = {DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for
Automated Driving Systems},
journal = {CoRR},
volume = {abs/2003.11766},
year = {2020},
url = {https://arxiv.org/abs/2003.11766},
eprinttype = {arXiv},
eprint = {2003.11766},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-11766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00326,
author = {Mohammad Hekmatnejad and
Bardh Hoxha and
Georgios Fainekos},
title = {Search-based Test-Case Generation by Monitoring Responsibility Safety
Rules},
journal = {CoRR},
volume = {abs/2005.00326},
year = {2020},
url = {https://arxiv.org/abs/2005.00326},
eprinttype = {arXiv},
eprint = {2005.00326},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/YaghoubiF19,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
title = {Worst-case Satisfaction of {STL} Specifications Using Feedforward
Neural Network Controllers: {A} Lagrange Multipliers Approach},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {5s},
pages = {107:1--107:20},
year = {2019},
url = {https://doi.org/10.1145/3358239},
doi = {10.1145/3358239},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/YaghoubiF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HekmatnejadPF19,
author = {Mohammad Hekmatnejad and
Giulia Pedrielli and
Georgios Fainekos},
title = {Task Scheduling with Nonlinear Costs using {SMT} Solvers},
booktitle = {15th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
pages = {183--188},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COASE.2019.8843048},
doi = {10.1109/COASE.2019.8843048},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/HekmatnejadPF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/MathesenYPF19,
author = {Logan Mathesen and
Shakiba Yaghoubi and
Giulia Pedrielli and
Georgios Fainekos},
title = {Falsification of Cyber-Physical Systems with Robustness Uncertainty
Quantification Through Stochastic optimization with Adaptive Restart},
booktitle = {15th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
pages = {991--997},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COASE.2019.8843005},
doi = {10.1109/COASE.2019.8843005},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/MathesenYPF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ErnstADFMPYYZ19,
author = {Gidon Ernst and
Paolo Arcaini and
Alexandre Donz{\'{e}} and
Georgios Fainekos and
Logan Mathesen and
Giulia Pedrielli and
Shakiba Yaghoubi and
Yoriyuki Yamagata and
Zhenya Zhang},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP} 2019 Category Report: Falsification},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {129--140},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/68dk},
doi = {10.29007/68DK},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/ErnstADFMPYYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/0001PQDDAF19,
author = {Anand Balakrishnan and
Aniruddh Gopinath Puranic and
Xin Qin and
Adel Dokhanchi and
Jyotirmoy V. Deshmukh and
Heni Ben Amor and
Georgios Fainekos},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Specifying and Evaluating Quality Metrics for Vision-based Perception
Systems},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {1433--1438},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8715114},
doi = {10.23919/DATE.2019.8715114},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/0001PQDDAF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/YaghoubiF19,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Gray-box adversarial testing for control systems with machine learning
components},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {179--184},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311814},
doi = {10.1145/3302504.3311814},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/YaghoubiF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/TuncaliF19,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos},
title = {Rapidly-exploring Random Trees for Testing Automated Vehicles},
booktitle = {2019 {IEEE} Intelligent Transportation Systems Conference, {ITSC}
2019, Auckland, New Zealand, October 27-30, 2019},
pages = {661--666},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ITSC.2019.8917375},
doi = {10.1109/ITSC.2019.8917375},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/TuncaliF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/HekmatnejadYDAS19,
author = {Mohammad Hekmatnejad and
Shakiba Yaghoubi and
Adel Dokhanchi and
Heni Ben Amor and
Aviral Shrivastava and
Lina J. Karam and
Georgios Fainekos},
editor = {Partha S. Roop and
Naijun Zhan and
Sicun Gao and
Pierluigi Nuzzo},
title = {Encoding and monitoring responsibility sensitive safety rules for
automated vehicles in signal temporal logic},
booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
USA, October 9-11, 2019},
pages = {6:1--6:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359986.3361203},
doi = {10.1145/3359986.3361203},
timestamp = {Sat, 20 May 2023 11:52:14 +0200},
biburl = {https://dblp.org/rec/conf/memocode/HekmatnejadYDAS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FainekosH019,
author = {Georgios Fainekos and
Bardh Hoxha and
Sriram Sankaranarayanan},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Robustness of Specifications and Its Applications to Falsification,
Parameter Mining, and Runtime Monitoring with S-TaLiRo},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {27--47},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_3},
doi = {10.1007/978-3-030-32079-9\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FainekosH019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snr/InanlouganjiYFP19,
author = {Alireza Inanlouganji and
Shakiba Yaghoubi and
Georgios Fainekos and
Giulia Pedrielli},
editor = {Sriram Sankaranarayanan and
Sadegh Soudjani},
title = {Falsification of cyber-physical systems through multi-fidelity stochastic
optimization},
booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric
methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec,
Canada, April 15, 2019},
pages = {22--23},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313149.3313371},
doi = {10.1145/3313149.3313371},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snr/InanlouganjiYFP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-04545,
author = {Mohammad Hekmatnejad and
Georgios Fainekos},
title = {Model Checking Clinical Decision Support Systems Using {SMT}},
journal = {CoRR},
volume = {abs/1901.04545},
year = {2019},
url = {http://arxiv.org/abs/1901.04545},
eprinttype = {arXiv},
eprint = {1901.04545},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-04545.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-10629,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos},
title = {Rapidly-exploring Random Trees-based Test Generation for Autonomous
Vehicles},
journal = {CoRR},
volume = {abs/1903.10629},
year = {2019},
url = {http://arxiv.org/abs/1903.10629},
eprinttype = {arXiv},
eprint = {1903.10629},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-10629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-01094,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos and
Danil V. Prokhorov and
Hisahiro Ito and
James Kapinski},
title = {Requirements-driven Test Generation for Autonomous Vehicles with Machine
Learning Components},
journal = {CoRR},
volume = {abs/1908.01094},
year = {2019},
url = {http://arxiv.org/abs/1908.01094},
eprinttype = {arXiv},
eprint = {1908.01094},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-01094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HoxhaDF18,
author = {Bardh Hoxha and
Adel Dokhanchi and
Georgios Fainekos},
title = {Mining parametric temporal logic properties in model-based design
for cyber-physical systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {1},
pages = {79--93},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0447-4},
doi = {10.1007/S10009-017-0447-4},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HoxhaDF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DokhanchiHF18,
author = {Adel Dokhanchi and
Bardh Hoxha and
Georgios Fainekos},
title = {Formal Requirement Debugging for Testing and Verification of Cyber-Physical
Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {17},
number = {2},
pages = {34:1--34:26},
year = {2018},
url = {https://doi.org/10.1145/3147451},
doi = {10.1145/3147451},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/DokhanchiHF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/NguyenHJF18,
author = {Luan Viet Nguyen and
Bardh Hoxha and
Taylor T. Johnson and
Georgios Fainekos},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Mission Planning for Multiple Vehicles with Temporal Specifications
using UxAS},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {67--72},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.012},
doi = {10.1016/J.IFACOL.2018.08.012},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/NguyenHJF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/YaghoubiF18,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Falsification of Temporal Logic Requirements Using Gradient Based
Local Search in Space and Time},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {103--108},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.018},
doi = {10.1016/J.IFACOL.2018.08.018},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/YaghoubiF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/DokhanchiYHFEZA18,
author = {Adel Dokhanchi and
Shakiba Yaghoubi and
Bardh Hoxha and
Georgios Fainekos and
Gidon Ernst and
Zhenya Zhang and
Paolo Arcaini and
Ichiro Hasuo and
Sean Sedwards},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {{ARCH-COMP18} Category Report: Results on the Falsification Benchmarks},
booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
pages = {104--109},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/t85q},
doi = {10.29007/T85Q},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/DokhanchiYHFEZA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/HekmatnejadF18,
author = {Mohammad Hekmatnejad and
Georgios Fainekos},
title = {Optimal Multi-Valued {LTL} Planning for Systems with Access Right
Levels},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {2363--2370},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431556},
doi = {10.23919/ACC.2018.8431556},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/HekmatnejadF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AbbasSSEFGMU18,
author = {Houssam Abbas and
Indranil Saha and
Yasser Shoukry and
R{\"{u}}diger Ehlers and
Georgios Fainekos and
Rajesh Gupta and
Rupak Majumdar and
Dogan Ulus},
editor = {Bj{\"{o}}rn B. Brandenburg and
Sriram Sankaranarayanan},
title = {Embedded software for robotics: challenges and future directions:
special session},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2018, Torino, Italy, September 30 - October 5, 2018},
pages = {10},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EMSOFT.2018.8537236},
doi = {10.1109/EMSOFT.2018.8537236},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AbbasSSEFGMU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TuncaliFIK18,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos and
Hisahiro Ito and
James Kapinski},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous
Vehicles},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {283--284},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3187004},
doi = {10.1145/3178126.3187004},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/TuncaliFIK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/StricklandFA18,
author = {Mark Strickland and
Georgios Fainekos and
Heni Ben Amor},
title = {Deep Predictive Models for Collision Risk Assessment in Autonomous
Driving},
booktitle = {2018 {IEEE} International Conference on Robotics and Automation, {ICRA}
2018, Brisbane, Australia, May 21-25, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICRA.2018.8461160},
doi = {10.1109/ICRA.2018.8461160},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/StricklandFA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/TuncaliFIK18,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos and
Hisahiro Ito and
James Kapinski},
title = {Simulation-based Adversarial Test Generation for Autonomous Vehicles
with Machine Learning Components},
booktitle = {2018 {IEEE} Intelligent Vehicles Symposium, {IV} 2018, Changshu, Suzhou,
China, June 26-30, 2018},
pages = {1555--1562},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IVS.2018.8500421},
doi = {10.1109/IVS.2018.8500421},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/TuncaliFIK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/TuncaliHDFS18,
author = {Cumhur Erkan Tuncali and
Bardh Hoxha and
Guohui Ding and
Georgios Fainekos and
Sriram Sankaranarayanan},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Experience Report: Application of Falsification Methods on the UxAS
System},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {452--459},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_30},
doi = {10.1007/978-3-319-77935-5\_30},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/TuncaliHDFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DokhanchiADF18,
author = {Adel Dokhanchi and
Heni Ben Amor and
Jyotirmoy V. Deshmukh and
Georgios Fainekos},
editor = {Christian Colombo and
Martin Leucker},
title = {Evaluating Perception Systems for Autonomous Vehicles Using Quality
Temporal Logic},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {409--416},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_23},
doi = {10.1007/978-3-030-03769-7\_23},
timestamp = {Sat, 12 Jun 2021 11:01:04 +0200},
biburl = {https://dblp.org/rec/conf/rv/DokhanchiADF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/InanlouganjiPFP18,
author = {Alireza Inanlouganji and
Giulia Pedrielli and
Georgios Fainekos and
Sebastian Pokutta},
editor = {Bj{\"{o}}rn Johansson and
Sanjay Jain},
title = {Continuous simulation Optimization with Model mismatch using Gaussian
Process Regression},
booktitle = {2018 Winter Simulation Conference, {WSC} 2018, Gothenburg, Sweden,
December 9-12, 2018},
pages = {2131--2142},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/WSC.2018.8632427},
doi = {10.1109/WSC.2018.8632427},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/InanlouganjiPFP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BartocciDDFMNS18,
author = {Ezio Bartocci and
Jyotirmoy V. Deshmukh and
Alexandre Donz{\'{e}} and
Georgios Fainekos and
Oded Maler and
Dejan Nickovic and
Sriram Sankaranarayanan},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone},
title = {Specification-Based Monitoring of Cyber-Physical Systems: {A} Survey
on Theory, Tools and Applications},
booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
series = {Lecture Notes in Computer Science},
volume = {10457},
pages = {135--175},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75632-5\_5},
doi = {10.1007/978-3-319-75632-5\_5},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BartocciDDFMNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-04866,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
title = {Local Descent For Temporal Logic Falsification of Cyber-Physical Systems
(Extended Technical Report)},
journal = {CoRR},
volume = {abs/1802.04866},
year = {2018},
url = {http://arxiv.org/abs/1802.04866},
eprinttype = {arXiv},
eprint = {1802.04866},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-04866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06760,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos and
Hisahiro Ito and
James Kapinski},
title = {Simulation-based Adversarial Test Generation for Autonomous Vehicles
with Machine Learning Components},
journal = {CoRR},
volume = {abs/1804.06760},
year = {2018},
url = {http://arxiv.org/abs/1804.06760},
eprinttype = {arXiv},
eprint = {1804.06760},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-11958,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
title = {Gray-box Adversarial Testing for Control Systems with Machine Learning
Component},
journal = {CoRR},
volume = {abs/1812.11958},
year = {2018},
url = {http://arxiv.org/abs/1812.11958},
eprinttype = {arXiv},
eprint = {1812.11958},
timestamp = {Wed, 02 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-11958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/Sankaranarayanan17,
author = {Sriram Sankaranarayanan and
Suhas Akshar Kumar and
Faye Cameron and
B. Wayne Bequette and
Georgios Fainekos and
David M. Maahs},
title = {Model-based falsification of an artificial pancreas control system},
journal = {{SIGBED} Rev.},
volume = {14},
number = {2},
pages = {24--33},
year = {2017},
url = {https://doi.org/10.1145/3076125.3076128},
doi = {10.1145/3076125.3076128},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/Sankaranarayanan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/YaghoubiF17,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
title = {Hybrid approximate gradient and stochastic descent for falsification
of nonlinear systems},
booktitle = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
24-26, 2017},
pages = {529--534},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/ACC.2017.7963007},
doi = {10.23919/ACC.2017.7963007},
timestamp = {Fri, 03 Dec 2021 13:04:31 +0100},
biburl = {https://dblp.org/rec/conf/amcc/YaghoubiF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/FainekosT17,
author = {Georgios Fainekos and
Herbert G. Tanner},
title = {Temporal logic control under incomplete or conflicting information},
booktitle = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
24-26, 2017},
pages = {1853--1858},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/ACC.2017.7963222},
doi = {10.23919/ACC.2017.7963222},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/FainekosT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/TuncaliYPF17,
author = {Cumhur Erkan Tuncali and
Shakiba Yaghoubi and
Theodore P. Pavlic and
Georgios Fainekos},
title = {Functional gradient descent optimization for automatic test case generation
for vehicle controllers},
booktitle = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
2017, Xi'an, China, August 20-23, 2017},
pages = {1059--1064},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/COASE.2017.8256245},
doi = {10.1109/COASE.2017.8256245},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/TuncaliYPF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/DokhanchiYHF17,
author = {Adel Dokhanchi and
Shakiba Yaghoubi and
Bardh Hoxha and
Georgios Fainekos},
title = {Vacuity aware falsification for {MTL} request-response specifications},
booktitle = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
2017, Xi'an, China, August 20-23, 2017},
pages = {1332--1337},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/COASE.2017.8256286},
doi = {10.1109/COASE.2017.8256286},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/DokhanchiYHF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/DokhanchiYHF17,
author = {Adel Dokhanchi and
Shakiba Yaghoubi and
Bardh Hoxha and
Georgios Fainekos},
editor = {Goran Frehse and
Matthias Althoff},
title = {{ARCH-COMP17} Category Report: Preliminary Results on the Falsification
Benchmarks},
booktitle = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous
and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek)
on April 17, 2017 in Pittsburgh, PA, {USA}},
series = {EPiC Series in Computing},
volume = {48},
pages = {170--174},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/wmf5},
doi = {10.29007/WMF5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/DokhanchiYHF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/YaghoubiF17,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {Local Descent for Temporal Logic Falsification of Cyber-Physical Systems},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International
Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11267},
pages = {11--26},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-17910-6\_2},
doi = {10.1007/978-3-030-17910-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/YaghoubiF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10453,
author = {Mark Strickland and
Georgios Fainekos and
Heni Ben Amor},
title = {Deep Predictive Models for Collision Risk Assessment in Autonomous
Driving},
journal = {CoRR},
volume = {abs/1711.10453},
year = {2017},
url = {http://arxiv.org/abs/1711.10453},
eprinttype = {arXiv},
eprint = {1711.10453},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/TuncaliFL16,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos and
Yann{-}Hang Lee},
title = {Automatic Parallelization of Multirate Block Diagrams of Control Systems
on Multicore Platforms},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {1},
pages = {15:1--15:26},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2950055},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/TuncaliFL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoxhaF16,
author = {Bardh Hoxha and
Georgios Fainekos},
editor = {Daniele Magazzeni and
Scott Sanner and
Sylvie Thi{\'{e}}baux},
title = {Planning in Dynamic Environments Through Temporal Logic Monitoring},
booktitle = {Planning for Hybrid Systems, Papers from the 2016 {AAAI} Workshop,
Phoenix, Arizona, USA, February 13, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-12}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12556},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoxhaF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/CampbellTLPOF16,
author = {Joseph Campbell and
Cumhur Erkan Tuncali and
Peng Liu and
Theodore P. Pavlic and
{\"{U}}mit {\"{O}}zg{\"{u}}ner and
Georgios Fainekos},
title = {Modeling concurrency and reconfiguration in vehicular systems: {A}
{\(\pi\)}-calculus approach},
booktitle = {{IEEE} International Conference on Automation Science and Engineering,
{CASE} 2016, Fort Worth, TX, USA, August 21-25, 2016},
pages = {523--530},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/COASE.2016.7743450},
doi = {10.1109/COASE.2016.7743450},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/CampbellTLPOF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/CampbellAAF16,
author = {Joseph Campbell and
Heni Ben Amor and
Marcelo H. Ang and
Georgios Fainekos},
title = {Traffic light status detection using movement patterns of vehicles},
booktitle = {19th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016},
pages = {283--288},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ITSC.2016.7795568},
doi = {10.1109/ITSC.2016.7795568},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/CampbellAAF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/TuncaliPF16,
author = {Cumhur Erkan Tuncali and
Theodore P. Pavlic and
Georgios Fainekos},
title = {Utilizing S-TaLiRo as an automatic test generation framework for autonomous
vehicles},
booktitle = {19th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016},
pages = {1470--1475},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ITSC.2016.7795751},
doi = {10.1109/ITSC.2016.7795751},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/TuncaliPF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/DokhanchiHTF16,
author = {Adel Dokhanchi and
Bardh Hoxha and
Cumhur Erkan Tuncali and
Georgios Fainekos},
title = {An efficient algorithm for monitoring practical {TPTL} specifications},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {184--193},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797763},
doi = {10.1109/MEMCOD.2016.7797763},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/DokhanchiHTF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/WeiKF16,
author = {Wei Wei and
Kangjin Kim and
Georgios Fainekos},
title = {Extended LTLvis motion planning interface},
booktitle = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2016, Budapest, Hungary, October 9-12, 2016},
pages = {4194--4199},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SMC.2016.7844890},
doi = {10.1109/SMC.2016.7844890},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/WeiKF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2016,
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817},
doi = {10.1145/2883817},
isbn = {978-1-4503-3955-1},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CampbellTPF16,
author = {Joseph Campbell and
Cumhur Erkan Tuncali and
Theodore P. Pavlic and
Georgios Fainekos},
title = {Modeling Concurrency and Reconfiguration in Vehicular Systems: {A}
{\textdollar}{\(\pi\)}{\textdollar}-calculus Approach},
journal = {CoRR},
volume = {abs/1604.02122},
year = {2016},
url = {http://arxiv.org/abs/1604.02122},
eprinttype = {arXiv},
eprint = {1604.02122},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CampbellTPF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WeiKF16,
author = {Wei Wei and
Kangjin Kim and
Georgios Fainekos},
title = {Extended LTLvis Motion Planning interface (Extended Technical Report)},
journal = {CoRR},
volume = {abs/1607.01419},
year = {2016},
url = {http://arxiv.org/abs/1607.01419},
eprinttype = {arXiv},
eprint = {1607.01419},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WeiKF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DokhanchiHF16,
author = {Adel Dokhanchi and
Bardh Hoxha and
Georgios Fainekos},
title = {Formal Requirement Elicitation and Debugging for Testing and Verification
of Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1607.02549},
year = {2016},
url = {http://arxiv.org/abs/1607.02549},
eprinttype = {arXiv},
eprint = {1607.02549},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DokhanchiHF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DokhanchiHTF16,
author = {Adel Dokhanchi and
Bardh Hoxha and
Cumhur Erkan Tuncali and
Georgios Fainekos},
title = {An Efficient Algorithm for Monitoring Practical {TPTL} Specifications},
journal = {CoRR},
volume = {abs/1612.03140},
year = {2016},
url = {http://arxiv.org/abs/1612.03140},
eprinttype = {arXiv},
eprint = {1612.03140},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DokhanchiHTF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrr/KimFS15,
author = {Kangjin Kim and
Georgios Fainekos and
Sriram Sankaranarayanan},
title = {On the minimal revision problem of specification automata},
journal = {Int. J. Robotics Res.},
volume = {34},
number = {12},
pages = {1515--1535},
year = {2015},
url = {https://doi.org/10.1177/0278364915587034},
doi = {10.1177/0278364915587034},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/KimFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Fainekos15,
author = {Georgios Fainekos},
title = {Automotive control design bug-finding with the S-TaLiRo tool},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {4096},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171969},
doi = {10.1109/ACC.2015.7171969},
timestamp = {Fri, 03 Dec 2021 13:03:59 +0100},
biburl = {https://dblp.org/rec/conf/amcc/Fainekos15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/DeshmukhFKS0J15,
author = {Jyotirmoy V. Deshmukh and
Georgios Fainekos and
James Kapinski and
Sriram Sankaranarayanan and
Aditya Zutshi and
Xiaoqing Jin},
title = {Beyond single shooting: Iterative approaches to falsification},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {4098},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7171971},
doi = {10.1109/ACC.2015.7171971},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/DeshmukhFKS0J15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/KimCDZF15,
author = {Kangjin Kim and
Joe Campbell and
William Duong and
Yu Zhang and
Georgios Fainekos},
title = {DisCoF\({}^{\mbox{+}}\): Asynchronous DisCoF with flexible decoupling
for cooperative pathfinding in distributed systems},
booktitle = {{IEEE} International Conference on Automation Science and Engineering,
{CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
pages = {369--376},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CoASE.2015.7294106},
doi = {10.1109/COASE.2015.7294106},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/KimCDZF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Dokhanchi0SSF15,
author = {Adel Dokhanchi and
Aditya Zutshi and
Rahul T. Sriniva and
Sriram Sankaranarayanan and
Georgios Fainekos},
editor = {Alain Girault and
Nan Guan},
title = {Requirements driven falsification with coverage metrics},
booktitle = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
Amsterdam, Netherlands, October 4-9, 2015},
pages = {31--40},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMSOFT.2015.7318257},
doi = {10.1109/EMSOFT.2015.7318257},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Dokhanchi0SSF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/TuncaliFL15,
author = {Cumhur Erkan Tuncali and
Georgios Fainekos and
Yann{-}Hang Lee},
title = {Automatic Parallelization of Simulink Models for Multi-core Architectures},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {964--971},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.232},
doi = {10.1109/HPCC-CSS-ICESS.2015.232},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/TuncaliFL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/HoxhaMF15,
author = {Bardh Hoxha and
Nikolaos Mavridis and
Georgios Fainekos},
title = {{VISPEC:} {A} graphical tool for elicitation of {MTL} requirements},
booktitle = {2015 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2015, Hamburg, Germany, September 28 - October 2,
2015},
pages = {3486--3492},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IROS.2015.7353863},
doi = {10.1109/IROS.2015.7353863},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/HoxhaMF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/DokhanchiHF15,
author = {Adel Dokhanchi and
Bardh Hoxha and
Georgios Fainekos},
title = {Metric interval temporal logic specification elicitation and debugging},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {70--79},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340472},
doi = {10.1109/MEMCOD.2015.7340472},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/DokhanchiHF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CameronFMS15,
author = {Fraser Cameron and
Georgios Fainekos and
David M. Maahs and
Sriram Sankaranarayanan},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Towards a Verified Artificial Pancreas: Challenges and Solutions for
Runtime Verification},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {3--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_1},
doi = {10.1007/978-3-319-23820-3\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/CameronFMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KimCDZF15,
author = {Kangjin Kim and
Joe Campbell and
William Duong and
Yu Zhang and
Georgios Fainekos},
title = {DisCoF{\textdollar}{\^{}}+{\textdollar}: Asynchronous DisCoF with
Flexible Decoupling for Cooperative Pathfinding in Distributed Systems},
journal = {CoRR},
volume = {abs/1506.03540},
year = {2015},
url = {http://arxiv.org/abs/1506.03540},
eprinttype = {arXiv},
eprint = {1506.03540},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KimCDZF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HoxhaMF15,
author = {Bardh Hoxha and
Nikolaos Mavridis and
Georgios Fainekos},
title = {ViSpec: {A} graphical tool for elicitation of {MTL} requirements},
journal = {CoRR},
volume = {abs/1508.00618},
year = {2015},
url = {http://arxiv.org/abs/1508.00618},
eprinttype = {arXiv},
eprint = {1508.00618},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoxhaMF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbbasF15,
author = {Houssam Abbas and
Georgios Fainekos},
title = {Towards composition of conformant systems},
journal = {CoRR},
volume = {abs/1511.05273},
year = {2015},
url = {http://arxiv.org/abs/1511.05273},
eprinttype = {arXiv},
eprint = {1511.05273},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HoxhaDF15,
author = {Bardh Hoxha and
Adel Dokhanchi and
Georgios Fainekos},
title = {Querying Parametric Temporal Logic Properties in Model Based Design},
journal = {CoRR},
volume = {abs/1512.07956},
year = {2015},
url = {http://arxiv.org/abs/1512.07956},
eprinttype = {arXiv},
eprint = {1512.07956},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HoxhaDF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AbbasWFJ14,
author = {Houssam Abbas and
Andrew K. Winn and
Georgios Fainekos and
A. Agung Julius},
title = {Functional gradient descent method for Metric Temporal Logic specifications},
booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
2014},
pages = {2312--2317},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ACC.2014.6859453},
doi = {10.1109/ACC.2014.6859453},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AbbasWFJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HoxhaAF14,
author = {Bardh Hoxha and
Houssam Abbas and
Georgios Fainekos},
editor = {Goran Frehse and
Matthias Althoff},
title = {Benchmarks for Temporal Logic Requirements for Automotive Systems},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {25--30},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/xwrs},
doi = {10.29007/XWRS},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/HoxhaAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HoxhaAF14a,
author = {Bardh Hoxha and
Houssam Abbas and
Georgios Fainekos},
editor = {Goran Frehse and
Matthias Althoff},
title = {Using S-TaLiRo on Industrial Size AuImmlertomotive Models},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {113--119},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/kwp3},
doi = {10.29007/KWP3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/HoxhaAF14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dars/ZhangKF14,
author = {Yu Zhang and
Kangjin Kim and
Georgios Fainekos},
editor = {Nak Young Chong and
Young{-}Jo Cho},
title = {DisCoF: Cooperative Pathfinding in Distributed Systems with Limited
Sensing and Communication Range},
booktitle = {Distributed Autonomous Robotic Systems - The 12th International Symposium,
{DARS} 2014, Daejeon, Korea, November 2-5, 2014},
series = {Springer Tracts in Advanced Robotics},
volume = {112},
pages = {325--340},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-4-431-55879-8\_23},
doi = {10.1007/978-4-431-55879-8\_23},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dars/ZhangKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/AbbasHFDKU14,
author = {Houssam Abbas and
Bardh Hoxha and
Georgios Fainekos and
Jyotirmoy V. Deshmukh and
James Kapinski and
Koichi Ueda},
title = {WiP abstract: Conformance testing as falsification for cyber-physical
systems},
booktitle = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS,
Berlin, Germany, April 14-17, 2014},
pages = {211},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICCPS.2014.6843724},
doi = {10.1109/ICCPS.2014.6843724},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/AbbasHFDKU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KimF14,
author = {Kangjin Kim and
Georgios Fainekos},
title = {Revision of specification automata under quantitative preferences},
booktitle = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
2014, Hong Kong, China, May 31 - June 7, 2014},
pages = {5339--5344},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICRA.2014.6907644},
doi = {10.1109/ICRA.2014.6907644},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/KimF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AbbasMF14,
author = {Houssam Abbas and
Hans D. Mittelmann and
Georgios Fainekos},
title = {Formal property verification in a conformance testing framework},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {155--164},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961854},
doi = {10.1109/MEMCOD.2014.6961854},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/AbbasMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DokhanchiHF14,
author = {Adel Dokhanchi and
Bardh Hoxha and
Georgios Fainekos},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {On-Line Monitoring for Temporal Logic Robustness},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {231--246},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_19},
doi = {10.1007/978-3-319-11164-3\_19},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/DokhanchiHF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbbasHFDKU14,
author = {Houssam Abbas and
Bardh Hoxha and
Georgios Fainekos and
Jyotirmoy V. Deshmukh and
James Kapinski and
Koichi Ueda},
title = {Conformance Testing as Falsification for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1401.5200},
year = {2014},
url = {http://arxiv.org/abs/1401.5200},
eprinttype = {arXiv},
eprint = {1401.5200},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasHFDKU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KimF14,
author = {Kangjin Kim and
Georgios Fainekos},
title = {Revision of Specification Automata under Quantitative Preferences},
journal = {CoRR},
volume = {abs/1402.3611},
year = {2014},
url = {http://arxiv.org/abs/1402.3611},
eprinttype = {arXiv},
eprint = {1402.3611},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KimF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KimFS14,
author = {Kangjin Kim and
Georgios Fainekos and
Sriram Sankaranarayanan},
title = {On the Minimal Revision Problem of Specification Automata},
journal = {CoRR},
volume = {abs/1404.2289},
year = {2014},
url = {http://arxiv.org/abs/1404.2289},
eprinttype = {arXiv},
eprint = {1404.2289},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KimFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DokhanchiHF14,
author = {Adel Dokhanchi and
Bardh Hoxha and
Georgios Fainekos},
title = {On-Line Monitoring for Temporal Logic Robustness},
journal = {CoRR},
volume = {abs/1408.0045},
year = {2014},
url = {http://arxiv.org/abs/1408.0045},
eprinttype = {arXiv},
eprint = {1408.0045},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DokhanchiHF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AbbasFSIG13,
author = {Houssam Abbas and
Georgios Fainekos and
Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
title = {Probabilistic Temporal Logic Falsification of Cyber-Physical Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {2s},
pages = {95:1--95:30},
year = {2013},
url = {https://doi.org/10.1145/2465787.2465797},
doi = {10.1145/2465787.2465797},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AbbasFSIG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/AbbasF13,
author = {Houssam Abbas and
Georgios Fainekos},
title = {Computing descent direction of {MTL} robustness for non-linear systems},
booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
17-19, 2013},
pages = {4405--4410},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ACC.2013.6580518},
doi = {10.1109/ACC.2013.6580518},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/AbbasF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KimF13,
author = {Kangjin Kim and
Georgios Fainekos},
title = {Minimal specification revision for weighted transition systems},
booktitle = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,
Germany, May 6-10, 2013},
pages = {4068--4074},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICRA.2013.6631151},
doi = {10.1109/ICRA.2013.6631151},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/KimF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/SrinivasKKKF13,
author = {Shashank Srinivas and
Ramtin Kermani and
Kangjin Kim and
Yoshihiro Kobayashi and
Georgios Fainekos},
title = {A graphical language for {LTL} motion and mission planning},
booktitle = {{IEEE} International Conference on Robotics and Biomimetics, {ROBIO}
2013, Shenzhen, China, December 12-14, 2013},
pages = {704--709},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ROBIO.2013.6739543},
doi = {10.1109/ROBIO.2013.6739543},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robio/SrinivasKKKF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/FainekosGIS12,
author = {Georgios Fainekos and
Eric Goubault and
Franjo Ivancic and
Sriram Sankaranarayanan},
title = {Editorial: Special Section VCPSS'09},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {11},
number = {{S2}},
pages = {52:1--52:3},
year = {2012},
url = {https://doi.org/10.1145/2331147.2331162},
doi = {10.1145/2331147.2331162},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/FainekosGIS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/AbbasF12,
author = {Houssam Abbas and
Georgios Fainekos},
title = {Convergence proofs for Simulated Annealing falsification of safety
properties},
booktitle = {50th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2012, Allerton Park {\&} Retreat Center, Monticello,
IL, USA, October 1-5, 2012},
pages = {1594--1601},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/Allerton.2012.6483411},
doi = {10.1109/ALLERTON.2012.6483411},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/allerton/AbbasF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/SankaranarayananMRRF12,
author = {Sriram Sankaranarayanan and
Christopher Miller and
Rangarajan Raghunathan and
Hadi Ravanbakhsh and
Georgios Fainekos},
title = {A model-based approach to synthesizing insulin infusion pump usage
parameters for diabetic patients},
booktitle = {50th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2012, Allerton Park {\&} Retreat Center, Monticello,
IL, USA, October 1-5, 2012},
pages = {1610--1617},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/Allerton.2012.6483413},
doi = {10.1109/ALLERTON.2012.6483413},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/allerton/SankaranarayananMRRF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/FainekosSUY12,
author = {Georgios E. Fainekos and
Sriram Sankaranarayanan and
Koichi Ueda and
Hakan Yazarel},
title = {Verification of automotive control applications using S-TaLiRo},
booktitle = {American Control Conference, {ACC} 2012, Montreal, QC, Canada, June
27-29, 2012},
pages = {3567--3572},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ACC.2012.6315384},
doi = {10.1109/ACC.2012.6315384},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/FainekosSUY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SankaranarayananF12,
author = {Sriram Sankaranarayanan and
Georgios Fainekos},
editor = {David R. Gilbert and
Monika Heiner},
title = {Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the
Insulin-Glucose Regulatory System},
booktitle = {Computational Methods in Systems Biology - 10th International Conference,
{CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7605},
pages = {322--341},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33636-2\_19},
doi = {10.1007/978-3-642-33636-2\_19},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/SankaranarayananF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SankaranarayananF12,
author = {Sriram Sankaranarayanan and
Georgios Fainekos},
editor = {Thao Dang and
Ian M. Mitchell},
title = {Falsification of temporal properties of hybrid systems using the cross-entropy
method},
booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012),
HSCC'12, Beijing, China, April 17-19, 2012},
pages = {125--134},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2185632.2185653},
doi = {10.1145/2185632.2185653},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SankaranarayananF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KimFS12,
author = {Kangjin Kim and
Georgios E. Fainekos and
Sriram Sankaranarayanan},
title = {On the revision problem of specification automata},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
pages = {5171--5176},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICRA.2012.6224826},
doi = {10.1109/ICRA.2012.6224826},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/KimFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/KimF12,
author = {Kangjin Kim and
Georgios Fainekos},
title = {Approximate solutions for the minimal revision problem of specification
automata},
booktitle = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
2012},
pages = {265--271},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IROS.2012.6386215},
doi = {10.1109/IROS.2012.6386215},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/KimF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/YangHF12,
author = {Hengyi Yang and
Bardh Hoxha and
Georgios E. Fainekos},
editor = {Brian Nielsen and
Carsten Weise},
title = {Querying Parametric Temporal Logic Properties on Embedded Systems},
booktitle = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7641},
pages = {136--151},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34691-0\_11},
doi = {10.1007/978-3-642-34691-0\_11},
timestamp = {Sat, 30 Sep 2023 09:55:01 +0200},
biburl = {https://dblp.org/rec/conf/pts/YangHF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/FainekosGPR11,
author = {Georgios Fainekos and
Eric Goubault and
Sylvie Putot and
Stefan Ratschan},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {357--358},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0105-2},
doi = {10.1007/S11786-011-0105-2},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/FainekosGPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AbbasF11,
author = {Houssam Abbas and
Georgios Fainekos},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Linear Hybrid System Falsification through Local Search},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {503--510},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_39},
doi = {10.1007/978-3-642-24372-1\_39},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/AbbasF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/Fainekos11,
author = {Georgios E. Fainekos},
title = {Revising temporal logic specifications for motion planning},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2011, Shanghai, China, 9-13 May 2011},
pages = {40--45},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICRA.2011.5979895},
doi = {10.1109/ICRA.2011.5979895},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/Fainekos11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isabel/BanerjeeGFV11,
author = {Ayan Banerjee and
Sandeep K. S. Gupta and
Georgios Fainekos and
Georgios Varsamopoulos},
editor = {Simone Frattasi and
Nicola Marchetti},
title = {Towards modeling and analysis of cyber-physical medical systems},
booktitle = {Proceedings of the 4th International Symposium on Applied Sciences
in Biomedical and Communication Technologies, {ISABEL} '11, Barcelona,
Spain, October 26-29, 2011},
pages = {154:1--154:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2093698.2093852},
doi = {10.1145/2093698.2093852},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isabel/BanerjeeGFV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChakarovSF11,
author = {Aleksandar Chakarov and
Sriram Sankaranarayanan and
Georgios Fainekos},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Combining Time and Frequency Domain Specifications for Periodic Signals},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {294--309},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_22},
doi = {10.1007/978-3-642-29860-8\_22},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChakarovSF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AnnpureddyLFS11,
author = {Yashwanth Annpureddy and
Che Liu and
Georgios Fainekos and
Sriram Sankaranarayanan},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {S-TaLiRo: {A} Tool for Temporal Logic Falsification for Hybrid Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {254--257},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_21},
doi = {10.1007/978-3-642-19835-9\_21},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AnnpureddyLFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-1733,
author = {Houssam Abbas and
Georgios Fainekos},
title = {Linear Hybrid System Falsification Through Descent},
journal = {CoRR},
volume = {abs/1105.1733},
year = {2011},
url = {http://arxiv.org/abs/1105.1733},
eprinttype = {arXiv},
eprint = {1105.1733},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-1733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NghiemSFIGP10,
author = {Truong Nghiem and
Sriram Sankaranarayanan and
Georgios Fainekos and
Franjo Ivancic and
Aarti Gupta and
George J. Pappas},
editor = {Karl Henrik Johansson and
Wang Yi},
title = {Monte-carlo techniques for falsification of temporal properties of
non-linear hybrid systems},
booktitle = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
2010},
pages = {211--220},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755952.1755983},
doi = {10.1145/1755952.1755983},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NghiemSFIGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/FainekosGKP09,
author = {Georgios E. Fainekos and
Antoine Girard and
Hadas Kress{-}Gazit and
George J. Pappas},
title = {Temporal logic motion planning for dynamic robots},
journal = {Autom.},
volume = {45},
number = {2},
pages = {343--352},
year = {2009},
url = {https://doi.org/10.1016/j.automatica.2008.08.008},
doi = {10.1016/J.AUTOMATICA.2008.08.008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/FainekosGKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FainekosP09,
author = {Georgios E. Fainekos and
George J. Pappas},
title = {Robustness of temporal logic specifications for continuous-time signals},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {42},
pages = {4262--4291},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.06.021},
doi = {10.1016/J.TCS.2009.06.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FainekosP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/Kress-GazitFP09,
author = {Hadas Kress{-}Gazit and
Georgios E. Fainekos and
George J. Pappas},
title = {Temporal-Logic-Based Reactive Mission and Motion Planning},
journal = {{IEEE} Trans. Robotics},
volume = {25},
number = {6},
pages = {1370--1381},
year = {2009},
url = {https://doi.org/10.1109/TRO.2009.2030225},
doi = {10.1109/TRO.2009.2030225},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/trob/Kress-GazitFP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/FainekosP09,
author = {Georgios E. Fainekos and
George J. Pappas},
title = {{MTL} robust testing and verification for {LPV} systems},
booktitle = {American Control Conference, {ACC} 2009. St. Louis, Missouri, USA,
June 10-12, 2009},
pages = {3748--3753},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ACC.2009.5159969},
doi = {10.1109/ACC.2009.5159969},
timestamp = {Fri, 03 Dec 2021 13:02:58 +0100},
biburl = {https://dblp.org/rec/conf/amcc/FainekosP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/FainekosSIG09,
author = {Georgios Fainekos and
Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
editor = {Theodore P. Baker},
title = {Robustness of Model-Based Simulations},
booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
2009, Washington, DC, USA, 1-4 December 2009},
pages = {345--354},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTSS.2009.26},
doi = {10.1109/RTSS.2009.26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/FainekosSIG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ar/Kress-GazitFP08,
author = {Hadas Kress{-}Gazit and
Georgios E. Fainekos and
George J. Pappas},
title = {Translating Structured English to Robot Controllers},
journal = {Adv. Robotics},
volume = {22},
number = {12},
pages = {1343--1359},
year = {2008},
url = {https://doi.org/10.1163/156855308X344864},
doi = {10.1163/156855308X344864},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ar/Kress-GazitFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FainekosP07,
author = {Georgios E. Fainekos and
George J. Pappas},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {Robust Sampling for {MITL} Specifications},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {147--162},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_12},
doi = {10.1007/978-3-540-75454-1\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/FainekosP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FainekosGP07,
author = {Georgios E. Fainekos and
Antoine Girard and
George J. Pappas},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {203--216},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_18},
doi = {10.1007/978-3-540-71493-4\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FainekosGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/JuliusFALP07,
author = {A. Agung Julius and
Georgios E. Fainekos and
Madhukar Anand and
Insup Lee and
George J. Pappas},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Robust Test Generation and Coverage for Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {329--342},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_27},
doi = {10.1007/978-3-540-71493-4\_27},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/JuliusFALP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/Kress-GazitFP07,
author = {Hadas Kress{-}Gazit and
Georgios E. Fainekos and
George J. Pappas},
title = {Where's Waldo? Sensor-Based Temporal Logic Motion Planning},
booktitle = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA}
2007, 10-14 April 2007, Roma, Italy},
pages = {3116--3121},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ROBOT.2007.363946},
doi = {10.1109/ROBOT.2007.363946},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/Kress-GazitFP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/Kress-GazitFP07,
author = {Hadas Kress{-}Gazit and
Georgios E. Fainekos and
George J. Pappas},
title = {From structured english to robot motion},
booktitle = {2007 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina,
San Diego, California, {USA}},
pages = {2717--2722},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IROS.2007.4398998},
doi = {10.1109/IROS.2007.4398998},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/Kress-GazitFP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FainekosLP06,
author = {Georgios E. Fainekos and
Savvas G. Loizou and
George J. Pappas},
title = {Translating Temporal Logic to Controller Specifications},
booktitle = {45th {IEEE} Conference on Decision and Control, {CDC} 2006, San Diego,
CA, USA, December 13-15, 2006},
pages = {899--904},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/CDC.2006.377825},
doi = {10.1109/CDC.2006.377825},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/FainekosLP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/FainekosP06,
author = {Georgios E. Fainekos and
George J. Pappas},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Robustness of Temporal Logic Specifications},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {178--192},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_12},
doi = {10.1007/11940197\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fates/FainekosP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FainekosGP06,
author = {Georgios E. Fainekos and
Antoine Girard and
George J. Pappas},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Temporal Logic Verification Using Simulation},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {171--186},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_13},
doi = {10.1007/11867340\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/FainekosGP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FainekosKP05,
author = {Georgios E. Fainekos and
Hadas Kress{-}Gazit and
George J. Pappas},
title = {Hybrid Controllers for Path Planning: {A} Temporal Logic Approach},
booktitle = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
December, 2005},
pages = {4885--4890},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CDC.2005.1582935},
doi = {10.1109/CDC.2005.1582935},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/FainekosKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/FainekosKP05,
author = {Georgios E. Fainekos and
Hadas Kress{-}Gazit and
George J. Pappas},
title = {Temporal Logic Motion Planning for Mobile Robots},
booktitle = {Proceedings of the 2005 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2005, April 18-22, 2005, Barcelona, Spain},
pages = {2020--2025},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ROBOT.2005.1570410},
doi = {10.1109/ROBOT.2005.1570410},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/FainekosKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BayraktarFP04,
author = {Selcuk Bayraktar and
Georgios E. Fainekos and
George J. Pappas},
title = {Experimental cooperative control of fixed-wing unmanned aerial vehicles},
booktitle = {43rd {IEEE} Conference on Decision and Control, {CDC} 2004, Nassau,
Bahamas, December 14-17, 2004},
pages = {4292--4298},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CDC.2004.1429426},
doi = {10.1109/CDC.2004.1429426},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/BayraktarFP04.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.
last updated on 2024-04-25 01:24 CEST 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:
