Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sean Sedwards
@article{DBLP:journals/aamas/LeeSC24,
author = {Jaeyoung Lee and
Sean Sedwards and
Krzysztof Czarnecki},
title = {Uniformly constrained reinforcement learning},
journal = {Auton. Agents Multi Agent Syst.},
volume = {38},
number = {1},
pages = {1},
year = {2024},
url = {https://doi.org/10.1007/s10458-023-09607-8},
doi = {10.1007/S10458-023-09607-8},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/LeeSC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wacv/HuangAS024,
author = {Chengjie Huang and
Vahdat Abdelzad and
Sean Sedwards and
Krzysztof Czarnecki},
title = {{SOAP:} Cross-sensor Domain Adaptation for 3D Object Detection Using
Stationary Object Aggregation Pseudo-labelling},
booktitle = {{IEEE/CVF} Winter Conference on Applications of Computer Vision, {WACV}
2024, Waikoloa, HI, USA, January 3-8, 2024},
pages = {3340--3349},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/WACV57701.2024.00332},
doi = {10.1109/WACV57701.2024.00332},
timestamp = {Wed, 17 Apr 2024 07:41:22 +0200},
biburl = {https://dblp.org/rec/conf/wacv/HuangAS024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-04230,
author = {Chengjie Huang and
Vahdat Abdelzad and
Sean Sedwards and
Krzysztof Czarnecki},
title = {{SOAP:} Cross-sensor Domain Adaptation for 3D Object Detection Using
Stationary Object Aggregation Pseudo-labelling},
journal = {CoRR},
volume = {abs/2401.04230},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.04230},
doi = {10.48550/ARXIV.2401.04230},
eprinttype = {arXiv},
eprint = {2401.04230},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-04230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/LarterQSSC22,
author = {Scott Larter and
Rodrigo Queiroz and
Sean Sedwards and
Atrisha Sarkar and
Krzysztof Czarnecki},
title = {A Hierarchical Pedestrian Behavior Model to Generate Realistic Human
Behavior in Traffic Simulation},
booktitle = {2022 {IEEE} Intelligent Vehicles Symposium, {IV} 2022, Aachen, Germany,
June 4-9, 2022},
pages = {533--541},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IV51971.2022.9827035},
doi = {10.1109/IV51971.2022.9827035},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivs/LarterQSSC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BouchardSC22,
author = {Fr{\'{e}}d{\'{e}}ric Bouchard and
Sean Sedwards and
Krzysztof Czarnecki},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {A Rule-Based Behaviour Planner for Autonomous Driving},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {263--279},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_17},
doi = {10.1007/978-3-031-21541-4\_17},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/BouchardSC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-07958,
author = {Jaeyoung Lee and
Sean Sedwards and
Krzysztof Czarnecki},
title = {Recursive Constraints to Prevent Instability in Constrained Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2201.07958},
year = {2022},
url = {https://arxiv.org/abs/2201.07958},
eprinttype = {arXiv},
eprint = {2201.07958},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-07958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01601,
author = {Scott Larter and
Rodrigo Queiroz and
Sean Sedwards and
Atrisha Sarkar and
Krzysztof Czarnecki},
title = {A Hierarchical Pedestrian Behavior Model to Generate Realistic Human
Behavior in Traffic Simulation},
journal = {CoRR},
volume = {abs/2206.01601},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.01601},
doi = {10.48550/ARXIV.2206.01601},
eprinttype = {arXiv},
eprint = {2206.01601},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-01601.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/BalakrishnanLGC21,
author = {Aravind Balakrishnan and
Jaeyoung Lee and
Ashish Gaurav and
Krzysztof Czarnecki and
Sean Sedwards},
title = {Transfer Reinforcement Learning for Autonomous Driving: From WiseMove
to WiseSim},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {31},
number = {3},
pages = {15:1--15:26},
year = {2021},
url = {https://doi.org/10.1145/3449356},
doi = {10.1145/3449356},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/BalakrishnanLGC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tomacs/ErnstSZH21,
author = {Gidon Ernst and
Sean Sedwards and
Zhenya Zhang and
Ichiro Hasuo},
title = {Falsification of Hybrid Systems Using Adaptive Probabilistic Search},
journal = {{ACM} Trans. Model. Comput. Simul.},
volume = {31},
number = {3},
pages = {18:1--18:22},
year = {2021},
url = {https://doi.org/10.1145/3459605},
doi = {10.1145/3459605},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomacs/ErnstSZH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/AbdelzadLSSC21,
author = {Vahdat Abdelzad and
Jaeyoung Lee and
Sean Sedwards and
Soheil Soltani and
Krzysztof Czarnecki},
title = {Non-divergent Imitation for Verification of Complex Learned Controllers},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2021, Shenzhen,
China, July 18-22, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IJCNN52387.2021.9533410},
doi = {10.1109/IJCNN52387.2021.9533410},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcnn/AbdelzadLSSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-03866,
author = {Gidon Ernst and
Ichiro Hasuo and
Zhenya Zhang and
Sean Sedwards},
editor = {Anne Remke and
Dung Hoang Tran},
title = {Time-Staging Enhancement of Hybrid System Falsification},
booktitle = {Proceedings The 7th International Workshop on Symbolic-Numeric Methods
for Reasoning about {CPS} and IoT, {SNR} 2021, Online, 23rd August
2021},
series = {{EPTCS}},
volume = {361},
pages = {25--43},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.361.5},
doi = {10.4204/EPTCS.361.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-03866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BuddeDHS20,
author = {Carlos E. Budde and
Pedro R. D'Argenio and
Arnd Hartmanns and
Sean Sedwards},
title = {An efficient statistical model checker for nondeterminism and rare
events},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {759--780},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00563-2},
doi = {10.1007/S10009-020-00563-2},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BuddeDHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SalayCEASW20,
author = {Rick Salay and
Krzysztof Czarnecki and
Maria Soledad Elli and
Ignacio J. Alvarez and
Sean Sedwards and
Jack Weast},
editor = {Hu{\'{a}}scar Espinoza and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xin Cynthia Chen and
Se{\'{a}}n S. {\'{O}}h{\'{E}}igeartaigh and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Richard Mallah and
John A. McDermid},
title = {{PURSS:} Towards Perceptual Uncertainty Aware Responsibility Sensitive
Safety with {ML}},
booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located
with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI
2020, New York City, NY, USA, February 7, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2560},
pages = {91--95},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2560/paper34.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/aaai/SalayCEASW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GauravVLSACS20,
author = {Ashish Gaurav and
Sachin Vernekar and
Jaeyoung Lee and
Vahdat Abdelzad and
Krzysztof Czarnecki and
Sean Sedwards},
editor = {Hu{\'{a}}scar Espinoza and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xin Cynthia Chen and
Se{\'{a}}n S. {\'{O}}h{\'{E}}igeartaigh and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Richard Mallah and
John A. McDermid},
title = {Simple Continual Learning Strategies for Safer Classifers},
booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located
with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI
2020, New York City, NY, USA, February 7, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2560},
pages = {96--104},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2560/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/GauravVLSACS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/JhunjhunwalaLSA20,
author = {Aman Jhunjhunwala and
Jaeyoung Lee and
Sean Sedwards and
Vahdat Abdelzad and
Krzysztof Czarnecki},
title = {Improved Policy Extraction via Online Q-Value Distillation},
booktitle = {2020 International Joint Conference on Neural Networks, {IJCNN} 2020,
Glasgow, United Kingdom, July 19-24, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IJCNN48605.2020.9207648},
doi = {10.1109/IJCNN48605.2020.9207648},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcnn/JhunjhunwalaLSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/ChenSSAC20,
author = {Weitao Chen and
Rick Salay and
Sean Sedwards and
Vahdat Abdelzad and
Krzysztof Czarnecki},
title = {Accelerating the Training of Convolutional Neural Networks for Image
Segmentation with Deep Active Learning},
booktitle = {23rd {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020},
pages = {1--7},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ITSC45102.2020.9294260},
doi = {10.1109/ITSC45102.2020.9294260},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/ChenSSAC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JaegerJLLST19,
author = {Manfred Jaeger and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Sean Sedwards and
Jakob Haahr Taankvist},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space
MDPs},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {81--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_5},
doi = {10.1007/978-3-030-31784-3\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JaegerJLLST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/ErnstSZH19,
author = {Gidon Ernst and
Sean Sedwards and
Zhenya Zhang and
Ichiro Hasuo},
editor = {David Parker and
Verena Wolf},
title = {Fast Falsification of Hybrid Systems Using Probabilistically Adaptive
Input},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {165--181},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_10},
doi = {10.1007/978-3-030-30281-8\_10},
timestamp = {Fri, 18 Oct 2019 11:18:54 +0200},
biburl = {https://dblp.org/rec/conf/qest/ErnstSZH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/LeeBGCS19,
author = {Jaeyoung Lee and
Aravind Balakrishnan and
Ashish Gaurav and
Krzysztof Czarnecki and
Sean Sedwards},
editor = {David Parker and
Verena Wolf},
title = {WiseMove: {A} Framework to Investigate Safe Deep Reinforcement Learning
for Autonomous Driving},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {350--354},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_20},
doi = {10.1007/978-3-030-30281-8\_20},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/LeeBGCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BabaeeGS19,
author = {Reza Babaee and
Vijay Ganesh and
Sean Sedwards},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Accelerated Learning of Predictive Runtime Monitors for Rare Failure},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {111--128},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_7},
doi = {10.1007/978-3-030-32079-9\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/BabaeeGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-04118,
author = {Jaeyoung Lee and
Aravind Balakrishnan and
Ashish Gaurav and
Krzysztof Czarnecki and
Sean Sedwards},
title = {WiseMove: {A} Framework for Safe Deep Reinforcement Learning for Autonomous
Driving},
journal = {CoRR},
volume = {abs/1902.04118},
year = {2019},
url = {http://arxiv.org/abs/1902.04118},
eprinttype = {arXiv},
eprint = {1902.04118},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-04118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-07931,
author = {Marko Ilievski and
Sean Sedwards and
Ashish Gaurav and
Aravind Balakrishnan and
Atrisha Sarkar and
Jaeyoung Lee and
Fr{\'{e}}d{\'{e}}ric Bouchard and
Ryan De Iaco and
Krzysztof Czarnecki},
title = {Design Space of Behaviour Planning for Autonomous Driving},
journal = {CoRR},
volume = {abs/1908.07931},
year = {2019},
url = {http://arxiv.org/abs/1908.07931},
eprinttype = {arXiv},
eprint = {1908.07931},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-07931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/Given-WilsonLSZ18,
author = {Thomas Given{-}Wilson and
Axel Legay and
Sean Sedwards and
Olivier Zendra},
title = {Group abstraction for assisted navigation of social activities in
intelligent environments},
journal = {J. Reliab. Intell. Environ.},
volume = {4},
number = {2},
pages = {107--120},
year = {2018},
url = {https://doi.org/10.1007/s40860-018-0058-1},
doi = {10.1007/S40860-018-0058-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrie/Given-WilsonLSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhangESAH18,
author = {Zhenya Zhang and
Gidon Ernst and
Sean Sedwards and
Paolo Arcaini and
Ichiro Hasuo},
title = {Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo
Tree Search},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {37},
number = {11},
pages = {2894--2905},
year = {2018},
url = {https://doi.org/10.1109/TCAD.2018.2858463},
doi = {10.1109/TCAD.2018.2858463},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhangESAH18.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/adhs/KidoSH18,
author = {Kengo Kido and
Sean Sedwards and
Ichiro Hasuo},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Bounding Errors Due to Switching Delays in Incrementally Stable Switched
Systems},
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 = {247--252},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.042},
doi = {10.1016/J.IFACOL.2018.08.042},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/KidoSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ZhangEHS18,
author = {Zhenya Zhang and
Gidon Ernst and
Ichiro Hasuo and
Sean Sedwards},
title = {Time-Staging Enhancement of Hybrid System Falsification},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {3--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00008},
doi = {10.1109/MT-CPS.2018.00008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/ZhangEHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DArgenioGHS18,
author = {Pedro R. D'Argenio and
Marcus Gerhold and
Arnd Hartmanns and
Sean Sedwards},
editor = {Christel Baier and
Ugo Dal Lago},
title = {A Hierarchy of Scheduler Classes for Stochastic Automata},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {384--402},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_21},
doi = {10.1007/978-3-319-89366-2\_21},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/DArgenioGHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DArgenioHS18,
author = {Pedro R. D'Argenio and
Arnd Hartmanns and
Sean Sedwards},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Lightweight Statistical Model Checking in Nondeterministic Continuous
Time},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {336--353},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_22},
doi = {10.1007/978-3-030-03421-4\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/DArgenioHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BuddeDHS18,
author = {Carlos E. Budde and
Pedro R. D'Argenio and
Arnd Hartmanns and
Sean Sedwards},
editor = {Dirk Beyer and
Marieke Huisman},
title = {A Statistical Model Checker for Nondeterminism and Rare Events},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {340--358},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_20},
doi = {10.1007/978-3-319-89963-3\_20},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BuddeDHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06276,
author = {Zhenya Zhang and
Ichiro Hasuo and
Gidon Ernst and
Sean Sedwards},
title = {Two-Layered Falsification of Hybrid Systems guided by Monte Carlo
Tree Search},
journal = {CoRR},
volume = {abs/1803.06276},
year = {2018},
url = {http://arxiv.org/abs/1803.06276},
eprinttype = {arXiv},
eprint = {1803.06276},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-04159,
author = {Gidon Ernst and
Sean Sedwards and
Zhenya Zhang and
Ichiro Hasuo},
title = {Fast Falsification of Hybrid Systems using Probabilistically Adaptive
Input},
journal = {CoRR},
volume = {abs/1812.04159},
year = {2018},
url = {http://arxiv.org/abs/1812.04159},
eprinttype = {arXiv},
eprint = {1812.04159},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-04159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/KidoSH17,
author = {Kengo Kido and
Sean Sedwards and
Ichiro Hasuo},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {Switching Delays and the Skorokhod Distance in Incrementally Stable
Switched 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 = {109--126},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-17910-6\_9},
doi = {10.1007/978-3-030-17910-6\_9},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/KidoSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/Given-WilsonLS17,
author = {Thomas Given{-}Wilson and
Axel Legay and
Sean Sedwards},
editor = {Theo Tryfonas},
title = {Information Security, Privacy, and Trust in Social Robotic Assistants
for Older Adults},
booktitle = {Human Aspects of Information Security, Privacy and Trust - 5th International
Conference, {HAS} 2017, Held as Part of {HCI} International 2017,
Vancouver, BC, Canada, July 9-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10292},
pages = {90--109},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58460-7\_7},
doi = {10.1007/978-3-319-58460-7\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/Given-WilsonLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/LarsenPS17,
author = {Kim G. Larsen and
Doron Peled and
Sean Sedwards},
editor = {Andrei Paskevich and
Thomas Wies},
title = {Memory-Efficient Tactics for Randomized {LTL} Model Checking},
booktitle = {Verified Software. Theories, Tools, and Experiments - 9th International
Conference, {VSTTE} 2017, Heidelberg, Germany, July 22-23, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10712},
pages = {152--169},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72308-2\_10},
doi = {10.1007/978-3-319-72308-2\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/LarsenPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/HartmannsSD17,
author = {Arnd Hartmanns and
Sean Sedwards and
Pedro R. D'Argenio},
title = {Efficient simulation-based verification of probabilistic timed automata},
booktitle = {2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA,
December 3-6, 2017},
pages = {1419--1430},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/WSC.2017.8247885},
doi = {10.1109/WSC.2017.8247885},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/wsc/HartmannsSD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-05763,
author = {Pedro R. D'Argenio and
Marcus Gerhold and
Arnd Hartmanns and
Sean Sedwards},
title = {A Hierarchy of Scheduler Classes for Stochastic Automata},
journal = {CoRR},
volume = {abs/1710.05763},
year = {2017},
url = {http://arxiv.org/abs/1710.05763},
eprinttype = {arXiv},
eprint = {1710.05763},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-05763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-06311,
author = {Kengo Kido and
Sean Sedwards and
Ichiro Hasuo},
title = {Bounding Errors Due to Switching Delays in Incrementally Stable Switched
Systems (Extended Version)},
journal = {CoRR},
volume = {abs/1712.06311},
year = {2017},
url = {http://arxiv.org/abs/1712.06311},
eprinttype = {arXiv},
eprint = {1712.06311},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-06311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JegourelLS16,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards},
title = {Command-based importance sampling for statistical model checking},
journal = {Theor. Comput. Sci.},
volume = {649},
pages = {1--24},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.08.009},
doi = {10.1016/J.TCS.2016.08.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JegourelLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DArgenioHLS16,
author = {Pedro R. D'Argenio and
Arnd Hartmanns and
Axel Legay and
Sean Sedwards},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Statistical Approximation of Optimal Schedulers for Probabilistic
Timed Automata},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {99--114},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_7},
doi = {10.1007/978-3-319-33693-0\_7},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DArgenioHLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LegayST16,
author = {Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Plasma Lab: {A} Modular Statistical Model Checking Platform},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {77--93},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_6},
doi = {10.1007/978-3-319-47166-2\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/LegayST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LegayST16,
author = {Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
editor = {Kim Guldstrand Larsen and
Igor Potapov and
Jir{\'{\i}} Srba},
title = {Rare Events for Statistical Model Checking an Overview},
booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
Denmark, September 19-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9899},
pages = {23--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45994-3\_2},
doi = {10.1007/978-3-319-45994-3\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/LegayST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JegourelLLMPS16,
author = {Cyrille J{\'{e}}gourel and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Importance Sampling for Stochastic Timed Automata},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {163--178},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_11},
doi = {10.1007/978-3-319-47677-3\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/JegourelLLMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JegourelLST15,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
title = {Distributed Verification of Rare Properties using Importance Splitting
Observers},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {72},
year = {2015},
url = {https://doi.org/10.14279/tuj.eceasst.72.1024},
doi = {10.14279/TUJ.ECEASST.72.1024},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/JegourelLST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/LegayST15,
author = {Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
title = {Estimating Rewards {\&} Rare Events in Nondeterministic Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {72},
year = {2015},
url = {https://doi.org/10.14279/tuj.eceasst.72.1023},
doi = {10.14279/TUJ.ECEASST.72.1023},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/LegayST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isrob/PalopoliABCFLGG15,
author = {Luigi Palopoli and
Antonis A. Argyros and
Josef A. Birchbauer and
Alessio Colombo and
Daniele Fontanelli and
Axel Legay and
Andrea Garulli and
Antonello Giannitrapani and
David Macii and
Federico Moro and
Payam Nazemzadeh and
Pashalis Padeleris and
Roberto Passerone and
Georg Poier and
Domenico Prattichizzo and
Tizar Rizano and
Luca Rizzon and
Stefano Scheggi and
Sean Sedwards},
title = {Navigation assistance and guidance of older adults across complex
public spaces: the DALi approach},
journal = {Intell. Serv. Robotics},
volume = {8},
number = {2},
pages = {77--92},
year = {2015},
url = {https://doi.org/10.1007/s11370-015-0169-y},
doi = {10.1007/S11370-015-0169-Y},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isrob/PalopoliABCFLGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/ColomboFLPS15,
author = {Alessio Colombo and
Daniele Fontanelli and
Axel Legay and
Luigi Palopoli and
Sean Sedwards},
title = {Efficient customisable dynamic motion planning for assistive robots
in complex human environments},
journal = {J. Ambient Intell. Smart Environ.},
volume = {7},
number = {5},
pages = {617--634},
year = {2015},
url = {https://doi.org/10.3233/AIS-150338},
doi = {10.3233/AIS-150338},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaise/ColomboFLPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DavidLLMPS15,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
title = {Statistical model checking for biological systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {3},
pages = {351--367},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0323-4},
doi = {10.1007/S10009-014-0323-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DavidLLMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DArgenioLST15,
author = {Pedro R. D'Argenio and
Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
title = {Smart sampling for lightweight verification of Markov decision processes},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {4},
pages = {469--484},
year = {2015},
url = {https://doi.org/10.1007/s10009-015-0383-0},
doi = {10.1007/S10009-015-0383-0},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DArgenioLST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JegourelLST15,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
title = {Distributed Verification of Rare Properties with Lightweight Importance
Splitting Observers},
journal = {CoRR},
volume = {abs/1502.01838},
year = {2015},
url = {http://arxiv.org/abs/1502.01838},
eprinttype = {arXiv},
eprint = {1502.01838},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JegourelLST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LegayS14,
author = {Axel Legay and
Sean Sedwards},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Statistical Abstraction Boosts Design and Test Efficiency of Evolving
Critical Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {4--25},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_2},
doi = {10.1007/978-3-662-45234-9\_2},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/LegayS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JegourelLS14,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Effective Heuristic for Adaptive Importance Splitting in Statistical
Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {143--159},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_11},
doi = {10.1007/978-3-662-45231-8\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/JegourelLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LegayST14,
author = {Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
editor = {Carlos Canal and
Akram Idani},
title = {Scalable Verification of Markov Decision Processes},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {350--362},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_23},
doi = {10.1007/978-3-319-15201-1\_23},
timestamp = {Sun, 25 Oct 2020 22:54:47 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LegayST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LegayS14,
author = {Axel Legay and
Sean Sedwards},
title = {On Statistical Model Checking with {PLASMA}},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
2014, Changsha, China, September 1-3, 2014},
pages = {139--145},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TASE.2014.20},
doi = {10.1109/TASE.2014.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LegayS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DArgenioLST14,
author = {Pedro R. D'Argenio and
Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
title = {Smart Sampling for Lightweight Verification of Markov Decision Processes},
journal = {CoRR},
volume = {abs/1409.2116},
year = {2014},
url = {http://arxiv.org/abs/1409.2116},
eprinttype = {arXiv},
eprint = {1409.2116},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DArgenioLST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LegayST14,
author = {Axel Legay and
Sean Sedwards and
Louis{-}Marie Traonouez},
title = {Lightweight Verification of Markov Decision Processes with Rewards},
journal = {CoRR},
volume = {abs/1410.5782},
year = {2014},
url = {http://arxiv.org/abs/1410.5782},
eprinttype = {arXiv},
eprint = {1410.5782},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LegayST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JegourelLS13,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Importance Splitting for Statistical Model Checking Rare Properties},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {576--591},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_38},
doi = {10.1007/978-3-642-39799-8\_38},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/JegourelLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ColomboFLPS13,
author = {Alessio Colombo and
Daniele Fontanelli and
Axel Legay and
Luigi Palopoli and
Sean Sedwards},
title = {Motion planning in crowds using statistical model checking to enhance
the social force model},
booktitle = {Proceedings of the 52nd {IEEE} Conference on Decision and Control,
{CDC} 2013, Florence, Italy, December 10-13, 2013},
pages = {3602--3608},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CDC.2013.6760437},
doi = {10.1109/CDC.2013.6760437},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ColomboFLPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ColomboFGAPSL13,
author = {Alessio Colombo and
Daniele Fontanelli and
Dhaval Gandhi and
Antonella De Angeli and
Luigi Palopoli and
Sean Sedwards and
Axel Legay},
editor = {Carla Seatzu},
title = {Behavioural templates improve robot motion planning with social force
model in human environments},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6648081},
doi = {10.1109/ETFA.2013.6648081},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ColomboFGAPSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BoyerCLS13,
author = {Beno{\^{\i}}t Boyer and
Kevin Corre and
Axel Legay and
Sean Sedwards},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {PLASMA-lab: {A} Flexible, Distributable Statistical Model Checking
Library},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {160--164},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_12},
doi = {10.1007/978-3-642-40196-1\_12},
timestamp = {Sat, 30 Sep 2023 09:55:03 +0200},
biburl = {https://dblp.org/rec/conf/qest/BoyerCLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LegayS13,
author = {Axel Legay and
Sean Sedwards},
title = {Lightweight Monte Carlo Algorithm for Markov Decision Processes},
journal = {CoRR},
volume = {abs/1310.3609},
year = {2013},
url = {http://arxiv.org/abs/1310.3609},
eprinttype = {arXiv},
eprint = {1310.3609},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LegayS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JegourelLS12,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical
Model Checking},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {327--342},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_26},
doi = {10.1007/978-3-642-31424-7\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/JegourelLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DavidLLMPS12,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification of Biological Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {388--404},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_29},
doi = {10.1007/978-3-642-34026-0\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/DavidLLMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JegourelLS12,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {A Platform for High Performance Statistical Model Checking - {PLASMA}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {498--503},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_37},
doi = {10.1007/978-3-642-28756-5\_37},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JegourelLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-3856,
author = {Alexandre David and
Dehui Du and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
editor = {Ezio Bartocci and
Luca Bortolussi},
title = {Statistical Model Checking for Stochastic Hybrid Systems},
booktitle = {Proceedings First International Workshop on Hybrid Systems and Biology,
{HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
series = {{EPTCS}},
volume = {92},
pages = {122--136},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.92.9},
doi = {10.4204/EPTCS.92.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5229,
author = {Cyrille J{\'{e}}gourel and
Axel Legay and
Sean Sedwards},
title = {Cross-entropy optimisation of importance sampling parameters for statistical
model checking},
journal = {CoRR},
volume = {abs/1201.5229},
year = {2012},
url = {http://arxiv.org/abs/1201.5229},
eprinttype = {arXiv},
eprint = {1201.5229},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-5229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/IhekwabaS11,
author = {Adaoha E. C. Ihekwaba and
Sean Sedwards},
title = {Communicating oscillatory networks: frequency domain analysis},
journal = {{BMC} Syst. Biol.},
volume = {5},
pages = {203},
year = {2011},
url = {https://doi.org/10.1186/1752-0509-5-203},
doi = {10.1186/1752-0509-5-203},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/IhekwabaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Csikasz-NagyFLL09,
author = {Attila Csik{\'{a}}sz{-}Nagy and
Adrien Faur{\'{e}} and
Roberto Larcher and
Paola Lecca and
Ivan Mura and
Ferenc Jord{\'{a}}n and
Alida Palmisano and
Alessandro Romanel and
Sean Sedwards and
Heike Siebert and
Sylvain Soliman and
Denis Thieffry and
Judit Z{\'{a}}mborszky and
Tommaso Mazza and
Paolo Ballarini},
editor = {Rainer Breitling and
David Roger Gilbert and
Monika Heiner and
Corrado Priami},
title = {Analyzing various models of Circadian Clock and Cell Cycle coupling},
booktitle = {Formal Methods in Molecular Biology, 22.02. - 27.02.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09091},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/1994/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Csikasz-NagyFLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MardareCS08,
author = {Radu Mardare and
Matteo Cavaliere and
Sean Sedwards},
title = {A Logical Characterization of Robustness, Mutants and Species in Colonies
of Agents},
journal = {Int. J. Found. Comput. Sci.},
volume = {19},
number = {5},
pages = {1199--1221},
year = {2008},
url = {https://doi.org/10.1142/S0129054108006236},
doi = {10.1142/S0129054108006236},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/MardareCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CavaliereMS08,
author = {Matteo Cavaliere and
Radu Mardare and
Sean Sedwards},
title = {A multiset-based model of synchronizing agents: Computability and
robustness},
journal = {Theor. Comput. Sci.},
volume = {391},
number = {3},
pages = {216--238},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2007.11.009},
doi = {10.1016/J.TCS.2007.11.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CavaliereMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CavaliereS08,
author = {Matteo Cavaliere and
Sean Sedwards},
title = {Decision problems in membrane systems with peripheral proteins, transport
and evolution},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
pages = {40--51},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.003},
doi = {10.1016/J.TCS.2008.04.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CavaliereS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SedwardsM07,
author = {Sean Sedwards and
Tommaso Mazza},
title = {Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed
biochemical processes},
journal = {Bioinform.},
volume = {23},
number = {20},
pages = {2800--2802},
year = {2007},
url = {https://doi.org/10.1093/bioinformatics/btm416},
doi = {10.1093/BIOINFORMATICS/BTM416},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/SedwardsM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/CavaliereS06,
author = {Matteo Cavaliere and
Sean Sedwards},
editor = {Corrado Priami},
title = {Modelling Cellular Processes Using Membrane Systems with Peripheral
and Integral Proteins},
booktitle = {Computational Methods in Systems Biology, International Conference,
{CMSB} 2006, Trento, Italy, October 18-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4210},
pages = {108--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11885191\_8},
doi = {10.1007/11885191\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/CavaliereS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CavaliereS07,
author = {Matteo Cavaliere and
Sean Sedwards},
editor = {Nadia Busi and
Claudio Zandron},
title = {Membrane Systems with Peripheral Proteins: Transport and Evolution},
booktitle = {Proceedings of the First Workshop on Membrane Computing and Biologically
Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {171},
number = {2},
pages = {37--53},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.006},
doi = {10.1016/J.ENTCS.2007.05.006},
timestamp = {Fri, 27 Jan 2023 11:08:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CavaliereS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CavaliereS06,
author = {Matteo Cavaliere and
Sean Sedwards},
editor = {David M. Nicol and
Corrado Priami and
Hanne Riis Nielson and
Adelinde M. Uhrmacher},
title = {Modeling and Simulating Biological Processes with Stochastic Multiset
Rewriting},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06161},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/706},
timestamp = {Thu, 10 Jun 2021 13:02:10 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CavaliereS06.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:19 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:
