Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Oscar Trull, J. Carlos García-Díaz, Angel Peiró-Signes |
Multiple seasonal STL decomposition with discrete-interval moving seasonalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 433, pp. 127398, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr. |
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 139, pp. 110184, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Francesca Cairoli, Nicola Paoletti, Luca Bortolussi |
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.02375, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin 0001 |
An STL-based Approach to Resilient Control for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.02794, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Hongkai Chen, Shan Lin 0001, Scott A. Smolka, Nicola Paoletti |
An STL-based Formulation of Resilience in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.03961, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Nikhil Kumar Singh 0004, Indranil Saha |
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.01022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas |
Conformal Prediction for STL Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.01539, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Kyunghee Kim, Minha Kim, Simon S. Woo |
STL-DP: Differentially Private Time Series Exploring Decomposition and Compression Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM Workshops ![In: Proceedings of the CIKM 2022 Workshops co-located with 31st ACM International Conference on Information and Knowledge Management (CIKM 2022), Atlanta, USA, October 17-21, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Vinayak S. Prabhu, Meetkumar Savaliya |
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022, pp. 1-11, 2022, IEEE, 979-8-3503-3190-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Geunyeol Yu, Jia Lee, Kyungmin Bae |
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I, pp. 524-537, 2022, Springer, 978-3-031-13184-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alexis Linard, Ilaria Torre 0002, Iolanda Leite, Jana Tumova |
Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022, Kyoto, Japan, October 23-27, 2022, pp. 1305-1311, 2022, IEEE, 978-1-6654-7927-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ashkan Zehfroosh, Herbert G. Tanner |
Control Barrier Navigation Functions for STL Motion Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 30th Mediterranean Conference on Control and Automation, MED 2022, Vouliagmeni, Greece, June 28 - July 1, 2022, pp. 682-687, 2022, IEEE, 978-1-6654-0673-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Hongkai Chen, Shan Lin 0001, Scott A. Smolka, Nicola Paoletti |
An STL-Based Formulation of Resilience in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings, pp. 117-135, 2022, Springer, 978-3-031-15838-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ruya Karagulle, Nikos Aréchiga, Jonathan A. DeCastro, Necmiye Ozay |
Classification of Driving Behaviors Using STL Formulas: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings, pp. 153-162, 2022, Springer, 978-3-031-15838-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Vince Kurtz, Hai Lin 0002 |
Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 5(4), pp. 1429-1434, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Le Van Dang, Stanislav S. Makhanov |
Enhanced vector flow of significant directions for five-axis machining of STL surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Prod. Res. ![In: Int. J. Prod. Res. 59(12), pp. 3664-3695, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Abanti Shama Afroz, Francesco Inglese, Cesare Stefanini, Mario Milazzo |
STL_Process: A .STL-based preprocessor for robot path planning in manufacturing and quality control processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 15, pp. 100725, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ana Moreton-Fernandez, Yuri Torres De La Sierra, Arturo González-Escribano, Diego R. Llanos |
Operators for Data Redistribution: Applications to the STL Library and RayTracing Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 38557-38570, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Xiaoyu Zhang 0003, Liwei Tang, Jiusheng Chen |
Fault Diagnosis for Electro-Mechanical Actuators Based on STL-HSTA-GRU and SM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 70, pp. 1-16, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Lars Lindemann, Nikolai Matni, George J. Pappas |
STL Robustness Risk over Discrete-Time Stochastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.01503, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Maryam Sharifi, Dimos V. Dimarogonas |
Fixed-Time Convergent Control Barrier Functions for Coupled Multi-Agent Systems Under STL Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.00986, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic |
From STL Rulebooks to Rewards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.02792, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Maryam Sharifi, Dimos V. Dimarogonas |
Fixed-Time Convergent Higher Order Control Barrier Functions for Leader-Follower Multi-Agent Systems under STL Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.15604, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas |
Time-Robust Control for STL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.02677, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Samed Al, Murat Dener |
STL-HDL: A new hybrid network intrusion detection system for imbalanced dataset on big data environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 110, pp. 102435, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Feng Jiao, Lei Huang 0016, Rongjia Song, Haifeng Huang |
An Improved STL-LSTM Model for Daily Bus Passenger Flow Prediction during the COVID-19 Pandemic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(17), pp. 5950, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Isamu Nishida, Keiichi Shirase |
Automated Process Planning System for End-Milling Operation by CAD Model in STL Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Autom. Technol. ![In: Int. J. Autom. Technol. 15(2), pp. 149-157, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Xinyu Tong, Haining Meng, Kai Feng, Wenjiang Ji, Yi Zheng, Xinhong Hei 0001 |
A STL-GALSTM Model to Predict the Track Irregularity of High-Speed Railway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigDataSE ![In: 15th IEEE International Conference on Big Data Science and Engineering, BigDataSE 2021, Shenyang, China, October 20-22, 2021, pp. 42-48, 2021, IEEE, 978-1-6654-0038-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Alexis Linard, Ilaria Torre 0002, Anders Steen, Iolanda Leite, Jana Tumova |
Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021, pp. 9857-9862, 2021, IEEE, 978-1-6654-1714-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Vince Kurtz, Hai Lin 0002 |
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021, pp. 1999-2004, 2021, IEEE, 978-1-6654-4197-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Maryam Sharifi, Dimos V. Dimarogonas |
Fixed-Time Convergent Control Barrier Functions for Coupled Multi-Agent Systems Under STL Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 2021 European Control Conference, ECC 2021, Virtual Event / Delft, The Netherlands, June 29 - July 2, 2021, pp. 793-798, 2021, IEEE, 978-9-4638-4236-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas |
Time-Robust Control for STL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 572-579, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Lars Lindemann, Nikolai Matni, George J. Pappas |
STL Robustness Risk over Discrete-Time Stochastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 1329-1335, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shuheng Shen, Yifei Cheng, Jingchang Liu, Linli Xu |
STL-SGD: Speeding Up Local SGD with Stagewise Communication Period. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 9576-9584, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin |
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021, pp. 151-158, 2021, IEEE, 978-1-6654-4163-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yangtao Li, Tengfei Bao, Jian Gong, Xiaosong Shu, Kang Zhang 0003 |
The Prediction of Dam Displacement Time Series Using STL, Extra-Trees, and Stacked LSTM Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 94440-94452, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ashan Eranga Kudabalage, Le Van Dang, Stanislav S. Makhanov |
Postprocessor for five-axis machining of STL surfaces based on Nagata interpolation and optimization of rotation angles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 33(8), pp. 792-809, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Sertaç Kagan Aydin, Ebru Aydin Gol |
Synthesis of Monitoring Rules with STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 29(11), pp. 2050177:1-2050177:26, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Vince Kurtz, Hai Lin 0002 |
Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.07104, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Péter Várnai, Dimos V. Dimarogonas |
On Robustness Metrics for Learning STL Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.06041, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Péter Várnai, Dimos V. Dimarogonas |
Guided Policy Improvement for Satisfying STL Tasks using Funnel Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.05653, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr. |
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.04260, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Guang Yang 0018, Calin Belta, Roberto Tron |
Non-uniform Sampled Motion Planning for Continuous-time STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.02351, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Shuheng Shen, Yifei Cheng, Jingchang Liu, Linli Xu |
STL-SGD: Speeding Up Local SGD with Stagewise Communication Period. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.06377, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Dejan Nickovic, Tomoya Yamaguchi 0001 |
RTAMT: Online Robustness Monitors from STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.11827, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Péter Várnai, Dimos V. Dimarogonas |
On Robustness Metrics for Learning STL Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2020 American Control Conference, ACC 2020, Denver, CO, USA, July 1-3, 2020, pp. 5394-5399, 2020, IEEE, 978-1-5386-8266-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Dejan Nickovic, Tomoya Yamaguchi 0001 |
RTAMT: Online Robustness Monitors from STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 564-571, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | JaeHwui Bae 0001, Youngsu Kim, Namho Hur, Dong-Joon Choi |
Study on Internet based STL for Low Power Gap-fillers configuring a Mobile TV Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2020, Jeju Island, Korea (South), October 21-23, 2020, pp. 1057-1059, 2020, IEEE, 978-1-7281-6758-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Hrituraj Singh, Sumit Shekhar |
STL-CQA: Structure-based Transformers with Localization and Encoding for Chart Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (1) ![In: Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, EMNLP 2020, Online, November 16-20, 2020, pp. 3275-3284, 2020, Association for Computational Linguistics, 978-1-952148-60-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Kristian Sebastian, Hui Gao, Xudong Xing |
Utilizing an Ensemble STL Decomposition and GRU Model for Base Station Traffic Forecasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SICE ![In: 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2020, Chiang Mai, Thailand, September 23-26, 2020, pp. 314-319, 2020, IEEE, 978-1-7281-1089-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Shakiba Yaghoubi, Georgios Fainekos |
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITA ![In: Information Theory and Applications Workshop, ITA 2020, San Diego, CA, USA, February 2-7, 2020, pp. 1-20, 2020, IEEE, 978-1-7281-4190-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Roberto A. Vasco-Carofilis, Miguel A. Gutiérrez-Naranjo, Miguel Cárdenas-Montes |
PBIL for Optimizing Hyperparameters of Convolutional Neural Networks and STL Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligent Systems - 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings, pp. 147-159, 2020, Springer, 978-3-030-61704-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Lan Qin, Weide Li, Shijia Li |
Effective passenger flow forecasting using STL and ESN based on two improvement strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 356, pp. 244-256, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Shakiba Yaghoubi, Georgios Fainekos |
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 18(5s), pp. 107:1-107:20, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Stotko |
stdgpu: Efficient STL-like Data Structures on the GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.05936, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Péter Várnai, Dimos V. Dimarogonas |
Gradient-Based STL Control with Application to Nonholonomic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.02483, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Vince Kurtz, Hai Lin 0002 |
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.03051, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Irmak Saglam, Ebru Aydin Gol |
Cause Mining and Controller Synthesis with STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.03649, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Martin Hallmann, Stefan Goetz, Benjamin Schleich |
Mapping of GD&T information and PMI between 3D product models in the STEP and STL format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 115, pp. 293-306, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Karen Leung, Nikos Aréchiga, Marco Pavone 0001 |
Backpropagation for Parametric STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019, pp. 185-192, 2019, IEEE, 978-1-7281-0560-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Anand Balakrishnan 0001, Jyotirmoy V. Deshmukh |
Structured reward functions using STL: poster abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019., pp. 270-271, 2019, ACM, 978-1-4503-6282-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Péter Várnai, Dimos V. Dimarogonas |
A Learning Framework for Versatile STL Controller Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019, pp. 4596-4600, 2019, IEEE, 978-1-7281-1398-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Irmak Saglam, Ebru Aydin Gol |
Cause Mining and Controller Synthesis with STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019, pp. 4589-4594, 2019, IEEE, 978-1-7281-1398-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Dong Jin, Helin Yin, Yeong Hyeon Gu, Seong Joon Yoo |
Forecasting of Vegetable Prices using STL-LSTM Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAI ![In: 6th International Conference on Systems and Informatics, ICSAI 2019, Shanghai, China, November 2-4, 2019, pp. 866-871, 2019, IEEE, 978-1-7281-5256-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Bin Cheng, Shiyou Qian, Jian Cao 0001, Guangtao Xue, Jiadi Yu, Yanmin Zhu, Minglu Li 0001, Tao Zhang 0046 |
STL: Online Detection of Taxi Trajectory Anomaly Based on Spatial-Temporal Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA (2) ![In: Database Systems for Advanced Applications - 24th International Conference, DASFAA 2019, Chiang Mai, Thailand, April 22-25, 2019, Proceedings, Part II, pp. 764-779, 2019, Springer, 978-3-030-18578-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Alexey Bakhirkin, Nicolas Basset |
Specification and Efficient Monitoring Beyond STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pp. 79-97, 2019, Springer, 978-3-030-17464-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Yonghua Huo, Yu Yan, Dan Du, Zhihao Wang, Yixin Zhang, Yang Yang 0006 |
Long-Term Span Traffic Prediction Model Based on STL Decomposition and LSTM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: 20th Asia-Pacific Network Operations and Management Symposium, APNOMS 2019, Matsue, Japan, September 18-20, 2019, pp. 1-4, 2019, IEEE, 978-4-88552-320-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim |
Barbaric Robustness Monitoring Revisited for STL* in Parasim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 356-359, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Nicco Mietzsch, Karl Fuerlinger |
Investigating Performance and Potential of the Parallel STL Using NAS Parallel Benchmark Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 17th International Conference on High Performance Computing & Simulation, HPCS 2019, Dublin, Ireland, July 15-19, 2019, pp. 136-144, 2019, IEEE, 978-1-7281-4484-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ajay Homkar, Satish Patil, Lukman Rahumathulla, Raj Pawate, Sachin Ghanekar |
Extending STL BASOPs Used in 3GPP Codecs to Leverage Features of Modern DSP Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSID ![In: 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, VLSID 2019, Delhi, India, January 5-9, 2019, pp. 529-530, 2019, IEEE, 978-1-7281-0409-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen 0007, Dejan Nickovic |
Quantitative monitoring of STL with edit distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 53(1), pp. 83-112, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Michael Haidl, Sergei Gorlatch |
High-Level Programming for Many-Cores Using C++14 and the STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 46(1), pp. 23-41, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Tao Xiong, Chongguang Li, Yukun Bao |
Seasonal forecasting of agricultural commodity price using a hybrid STL and ELM method: Evidence from the vegetable market in China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 275, pp. 2831-2844, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Satoshi Numata, Daiki Yano, Masanao Koeda, Katsuhiko Onishi, Kaoru Watanabe, Hiroshi Noborio, Hirotaka Uoi |
A Novel Liver Surgical Navigation System Using Polyhedrons with STL-Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Interaction in Context - 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II, pp. 53-63, 2018, Springer, 978-3-319-91243-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Alexey Bakhirkin, Thomas Ferrère, Oded Maler |
Efficient Parametric Identification for STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018, pp. 177-186, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic |
Localizing Faults in Simulink/Stateflow Models with STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018, pp. 197-206, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Pekka Jääskeläinen, John Glossner, Martin Jambor, Aleksi Tervo, Matti Rintala |
Offloading C++17 Parallel STL on System Shared Virtual Memory Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC Workshops ![In: High Performance Computing - ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers, pp. 637-647, 2018, Springer, 978-3-030-02464-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ezio Bartocci |
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pp. 35-42, 2018, Springer, 978-3-030-03768-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ebru Aydin Gol |
Efficient Online Monitoring and Formula Synthesis with Past STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018, pp. 916-921, 2018, IEEE, 978-1-5386-5065-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Susmit Jha, Sunny Raj, Sumit Kumar Jha 0001, Natarajan Shankar |
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 235-251, 2018, Springer, 978-3-030-00150-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Qi Duan, Xin Wei 0001, Yun Gao, Fang Zhou |
Base Station Traffic Prediction based on STL-LSTM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCC ![In: 24th Asia-Pacific Conference on Communications, APCC 2018, Ningbo, China, November 12-14, 2018, pp. 407-412, 2018, IEEE, 978-1-5386-6928-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Michael Bedford Taylor |
Basejump STL: systemverilog needs a standard template library for hardware design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018, pp. 73:1-73:6, 2018, ACM, 978-1-5386-4114-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Juan Chen, Fei Peng, Jie Li, Min Long |
A Lossless Watermarking for 3D STL Model Based on Entity Rearrangement and Bit Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Crime Forensics ![In: Int. J. Digit. Crime Forensics 9(2), pp. 25-37, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Zhiyu Liu, Bo Wu 0005, Jin Dai, Hai Lin 0002 |
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.10259, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Hendrik Roehm, Thomas Heinz 0001, Eva Charlotte Mayer |
STLInspector: STL Validation with Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, pp. 225-232, 2017, Springer, 978-3-319-63386-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Adrian Godde, Anne Remke |
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings, pp. 101-116, 2017, Springer, 978-3-319-66582-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Wei Ming, Xu Zhang, Zhuo Lv, Guobin Gou |
A New NURBS Based Skinning Algorithm of STL Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCID (1) ![In: 10th International Symposium on Computational Intelligence and Design, ISCID 2017, Hangzhou, China, December 9-10, 2017, Volume 1, pp. 58-63, 2017, IEEE, 978-1-5386-3675-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Zhiyu Liu, Bo Wu 0005, Jin Dai, Hai Lin 0002 |
Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 4452-4457, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Susmit Jha, Ashish Tiwari 0001, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar |
TeLEx: Passive STL Learning Using Only Positive Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, pp. 208-224, 2017, Springer, 978-3-319-67530-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Marco Attene |
As-exact-as-possible repair of unprintable STL files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.07829, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Hendrik Roehm, Jens Oehlerking, Thomas Heinz 0001, Matthias Althoff |
STL Model Checking of Continuous and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 412-427, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic |
Quantitative Monitoring of STL with Edit Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 201-218, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Kaiwei Sun, Jiarui Hou, Song Zhao, Yiqiao Dong, Runan Luo, Qing Guo, Liang Ma |
Voxelization Algorithm Based on STL Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: Human Centered Computing - Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers, pp. 913-918, 2016, Springer, 978-3-319-31853-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Cheok Heng Pang, Chee-Weng Khong |
STL systems and colour for the reproduction of cultural artefacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSMM ![In: 22nd International Conference on Virtual System & Multimedia, VSMM 2016, Kuala Lumpur, Malaysia, October 17-21, 2016, pp. 1-7, 2016, IEEE, 978-1-4673-8993-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Yuhui Peng, Yingjie Chen, Bin Huang |
Region segmentation for STL triangular mesh of CAD object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Sens. Networks ![In: Int. J. Sens. Networks 19(1), pp. 62-68, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Dhiman Saha, Dipanwita Roy Chowdhury |
Diagonal fault analysis of Gr⊘stl in dedicated MAC mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOST ![In: IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2015, Washington, DC, USA, 5-7 May, 2015, pp. 100-105, 2015, IEEE Computer Society, 978-1-4673-7420-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Jianguo Ning, Tianbao Ma, Genghao Lin |
A grid generator for 3-D explosion simulations using the staircase boundary approach in Cartesian coordinates based on STL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 67, pp. 148-155, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Christopher R. Madan, Marcia Spetch |
Visualizing and quantifying movement from pre-recorded videos: The spectral time-lapse (STL) algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F1000Research ![In: F1000Research 3, pp. 19, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | José Luís Huertas Talón, César García Hernández, Luis Berges-Muro, R. Gella-Marín |
Obtaining a spiral path for machining STL surfaces using non-deterministic techniques and spherical tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 50, pp. 41-50, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Lubos Brim, Petr Dluhos, David Safránek, Tomas Vejpustek |
STL⁎: Extending signal temporal logic with signal-value freezing operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 236, pp. 52-67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|