Search results for "STL"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Oscar Trull, J. Carlos García-Díaz, Angel Peiró-Signes	Multiple seasonal STL decomposition with discrete-interval moving seasonalities.	Appl. Math. Comput.	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.	Autom.	2022	DBLP DOI BibTeX RDF
20	Francesca Cairoli, Nicola Paoletti, Luca Bortolussi	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes.	CoRR	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.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
20	Nikhil Kumar Singh 0004, Indranil Saha	STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning.	CoRR	2022	DBLP DOI BibTeX RDF
20	Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas	Conformal Prediction for STL Runtime Verification.	CoRR	2022	DBLP DOI BibTeX RDF
20	Kyunghee Kim, Minha Kim, Simon S. Woo	STL-DP: Differentially Private Time Series Exploring Decomposition and Compression Methods.	CIKM Workshops	2022	DBLP BibTeX RDF
20	Vinayak S. Prabhu, Meetkumar Savaliya	Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL.	MEMOCODE	2022	DBLP DOI BibTeX RDF
20	Geunyeol Yu, Jia Lee, Kyungmin Bae	STLmc: Robust STL Model Checking of Hybrid Systems Using SMT.	CAV (1)	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.	IROS	2022	DBLP DOI BibTeX RDF
20	Ashkan Zehfroosh, Herbert G. Tanner	Control Barrier Navigation Functions for STL Motion Planning.	MED	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.	FORMATS	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.	FORMATS	2022	DBLP DOI BibTeX RDF
20	Vince Kurtz, Hai Lin 0002	Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications.	IEEE Control. Syst. Lett.	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.	Int. J. Prod. Res.	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.	SoftwareX	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.	IEEE Access	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.	IEEE Trans. Instrum. Meas.	2021	DBLP DOI BibTeX RDF
20	Lars Lindemann, Nikolai Matni, George J. Pappas	STL Robustness Risk over Discrete-Time Stochastic Processes.	CoRR	2021	DBLP BibTeX RDF
20	Maryam Sharifi, Dimos V. Dimarogonas	Fixed-Time Convergent Control Barrier Functions for Coupled Multi-Agent Systems Under STL Tasks.	CoRR	2021	DBLP BibTeX RDF
20	Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic	From STL Rulebooks to Rewards.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
20	Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas	Time-Robust Control for STL Specifications.	CoRR	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.	Comput. Secur.	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.	Sensors	2021	DBLP DOI BibTeX RDF
20	Isamu Nishida, Keiichi Shirase	Automated Process Planning System for End-Milling Operation by CAD Model in STL Format.	Int. J. Autom. Technol.	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.	BigDataSE	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.	IROS	2021	DBLP DOI BibTeX RDF
20	Vince Kurtz, Hai Lin 0002	Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications.	ACC	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.	ECC	2021	DBLP DOI BibTeX RDF
20	Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas	Time-Robust Control for STL Specifications.	CDC	2021	DBLP DOI BibTeX RDF
20	Lars Lindemann, Nikolai Matni, George J. Pappas	STL Robustness Risk over Discrete-Time Stochastic Processes.	CDC	2021	DBLP DOI BibTeX RDF
20	Shuheng Shen, Yifei Cheng, Jingchang Liu, Linli Xu	STL-SGD: Speeding Up Local SGD with Stagewise Communication Period.	AAAI	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.	TASE	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.	IEEE Access	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.	Int. J. Comput. Integr. Manuf.	2020	DBLP DOI BibTeX RDF
20	Sertaç Kagan Aydin, Ebru Aydin Gol	Synthesis of Monitoring Rules with STL.	J. Circuits Syst. Comput.	2020	DBLP DOI BibTeX RDF
20	Vince Kurtz, Hai Lin 0002	Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications.	CoRR	2020	DBLP BibTeX RDF
20	Péter Várnai, Dimos V. Dimarogonas	On Robustness Metrics for Learning STL Tasks.	CoRR	2020	DBLP BibTeX RDF
20	Péter Várnai, Dimos V. Dimarogonas	Guided Policy Improvement for Satisfying STL Tasks using Funnel Adaptation.	CoRR	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.	CoRR	2020	DBLP BibTeX RDF
20	Guang Yang 0018, Calin Belta, Roberto Tron	Non-uniform Sampled Motion Planning for Continuous-time STL.	CoRR	2020	DBLP BibTeX RDF
20	Shuheng Shen, Yifei Cheng, Jingchang Liu, Linli Xu	STL-SGD: Speeding Up Local SGD with Stagewise Communication Period.	CoRR	2020	DBLP BibTeX RDF
20	Dejan Nickovic, Tomoya Yamaguchi 0001	RTAMT: Online Robustness Monitors from STL.	CoRR	2020	DBLP BibTeX RDF
20	Péter Várnai, Dimos V. Dimarogonas	On Robustness Metrics for Learning STL Tasks.	ACC	2020	DBLP DOI BibTeX RDF
20	Dejan Nickovic, Tomoya Yamaguchi 0001	RTAMT: Online Robustness Monitors from STL.	ATVA	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.	ICTC	2020	DBLP DOI BibTeX RDF
20	Hrituraj Singh, Sumit Shekhar	STL-CQA: Structure-based Transformers with Localization and Encoding for Chart Question Answering.	EMNLP (1)	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.	SICE	2020	DBLP BibTeX RDF
20	Shakiba Yaghoubi, Georgios Fainekos	Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach.	ITA	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.	HAIS	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.	Neurocomputing	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.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
20	Patrick Stotko	stdgpu: Efficient STL-like Data Structures on the GPU.	CoRR	2019	DBLP BibTeX RDF
20	Péter Várnai, Dimos V. Dimarogonas	Gradient-Based STL Control with Application to Nonholonomic Systems.	CoRR	2019	DBLP BibTeX RDF
20	Vince Kurtz, Hai Lin 0002	Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis.	CoRR	2019	DBLP BibTeX RDF
20	Irmak Saglam, Ebru Aydin Gol	Cause Mining and Controller Synthesis with STL.	CoRR	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.	Comput. Aided Des.	2019	DBLP DOI BibTeX RDF
20	Karen Leung, Nikos Aréchiga, Marco Pavone 0001	Backpropagation for Parametric STL.	IV	2019	DBLP DOI BibTeX RDF
20	Anand Balakrishnan 0001, Jyotirmoy V. Deshmukh	Structured reward functions using STL: poster abstract.	HSCC	2019	DBLP DOI BibTeX RDF
20	Péter Várnai, Dimos V. Dimarogonas	A Learning Framework for Versatile STL Controller Synthesis.	CDC	2019	DBLP DOI BibTeX RDF
20	Irmak Saglam, Ebru Aydin Gol	Cause Mining and Controller Synthesis with STL.	CDC	2019	DBLP DOI BibTeX RDF
20	Dong Jin, Helin Yin, Yeong Hyeon Gu, Seong Joon Yoo	Forecasting of Vegetable Prices using STL-LSTM Method.	ICSAI	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.	DASFAA (2)	2019	DBLP DOI BibTeX RDF
20	Alexey Bakhirkin, Nicolas Basset	Specification and Efficient Monitoring Beyond STL.	TACAS (2)	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.	APNOMS	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.	CMSB	2019	DBLP DOI BibTeX RDF
20	Nicco Mietzsch, Karl Fuerlinger	Investigating Performance and Potential of the Parallel STL Using NAS Parallel Benchmark Kernels.	HPCS	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.	VLSID	2019	DBLP DOI BibTeX RDF
20	Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen 0007, Dejan Nickovic	Quantitative monitoring of STL with edit distance.	Formal Methods Syst. Des.	2018	DBLP DOI BibTeX RDF
20	Michael Haidl, Sergei Gorlatch	High-Level Programming for Many-Cores Using C++14 and the STL.	Int. J. Parallel Program.	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.	Neurocomputing	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.	HCI (2)	2018	DBLP DOI BibTeX RDF
20	Alexey Bakhirkin, Thomas Ferrère, Oded Maler	Efficient Parametric Identification for STL.	HSCC	2018	DBLP DOI BibTeX RDF
20	Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic	Localizing Faults in Simulink/Stateflow Models with STL.	HSCC	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.	ISC Workshops	2018	DBLP DOI BibTeX RDF
20	Ezio Bartocci	Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial).	RV	2018	DBLP DOI BibTeX RDF
20	Ebru Aydin Gol	Efficient Online Monitoring and Formula Synthesis with Past STL.	CoDIT	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.	FORMATS	2018	DBLP DOI BibTeX RDF
20	Qi Duan, Xin Wei 0001, Yun Gao, Fang Zhou	Base Station Traffic Prediction based on STL-LSTM Networks.	APCC	2018	DBLP DOI BibTeX RDF
20	Michael Bedford Taylor	Basejump STL: systemverilog needs a standard template library for hardware design.	DAC	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.	Int. J. Digit. Crime Forensics	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.	CoRR	2017	DBLP BibTeX RDF
20	Hendrik Roehm, Thomas Heinz 0001, Eva Charlotte Mayer	STLInspector: STL Validation with Guarantees.	CAV (1)	2017	DBLP DOI BibTeX RDF
20	Adrian Godde, Anne Remke	Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra.	EPEW	2017	DBLP DOI BibTeX RDF
20	Wei Ming, Xu Zhang, Zhuo Lv, Guobin Gou	A New NURBS Based Skinning Algorithm of STL Model.	ISCID (1)	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.	CDC	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.	RV	2017	DBLP DOI BibTeX RDF
20	Marco Attene	As-exact-as-possible repair of unprintable STL files.	CoRR	2016	DBLP BibTeX RDF
20	Hendrik Roehm, Jens Oehlerking, Thomas Heinz 0001, Matthias Althoff	STL Model Checking of Continuous and Hybrid Systems.	ATVA	2016	DBLP DOI BibTeX RDF
20	Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic	Quantitative Monitoring of STL with Edit Distance.	RV	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.	HCC	2016	DBLP DOI BibTeX RDF
20	Cheok Heng Pang, Chee-Weng Khong	STL systems and colour for the reproduction of cultural artefacts.	VSMM	2016	DBLP DOI BibTeX RDF
20	Yuhui Peng, Yingjie Chen, Bin Huang	Region segmentation for STL triangular mesh of CAD object.	Int. J. Sens. Networks	2015	DBLP DOI BibTeX RDF
20	Dhiman Saha, Dipanwita Roy Chowdhury	Diagonal fault analysis of Gr⊘stl in dedicated MAC mode.	HOST	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.	Adv. Eng. Softw.	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.	F1000Research	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.	Comput. Aided Des.	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.	Inf. Comput.	2014	DBLP DOI BibTeX RDF