The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase temporal logic (changed automatically)

Publication years (Num. hits)
1977-1982 (29) 1983 (21) 1984 (22) 1985 (17) 1986 (21) 1987 (41) 1988 (36) 1989 (51) 1990 (40) 1991 (47) 1992 (54) 1993 (74) 1994 (90) 1995 (68) 1996 (87) 1997 (83) 1998 (84) 1999 (88) 2000 (92) 2001 (93) 2002 (118) 2003 (169) 2004 (160) 2005 (168) 2006 (200) 2007 (210) 2008 (169) 2009 (138) 2010 (75) 2011 (71) 2012 (95) 2013 (83) 2014 (113) 2015 (79) 2016 (109) 2017 (110) 2018 (124) 2019 (159) 2020 (168) 2021 (165) 2022 (172)
Publication types (Num. hits)
article(1275) book(9) incollection(34) inproceedings(2631) phdthesis(41) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(396) TIME(107) CAV(83) CDC(63) Theor. Comput. Sci.(62) ACC(58) CONCUR(55) ICRA(53) HSCC(39) LICS(38) TACAS(38) ICTL(34) J. Log. Comput.(32) IEEE Trans. Software Eng.(30) IROS(30) AAMAS(28) More (+10 of total 966)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2557 occurrences of 933 keywords

Results
Found 3993 publication records. Showing 3993 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
15Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
15Ali Tevfik Buyukkocak, Derya Aksaray Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
14Xia Mao, Xin Li 0010, Yanhong Huang, Jianqi Shi, Yueling Zhang Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. Search on Bibsonomy IEEE Trans. Ind. Informatics The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu 0005 Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Ruochen Niu, Syed M. Hassaan, Liren Yang, Zeyuan Jin, Sze Zheng Yong Model Discrimination of Switched Nonlinear Systems With Temporal Logic-Constrained Switching. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Zhiliang Li, Mingyu Cai, Shaoping Xiao, Zhen Kan Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Maria Charitidou, Dimos V. Dimarogonas Signal Temporal Logic Task Decomposition via Convex Optimization. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Vincent Kurtz, Hai Lin 0002 Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Takuma Kinugawa, Toshimitsu Ushio Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Prithvi Akella, Aaron D. Ames Disturbance Bounds for Signal Temporal Logic Task Satisfaction: A Dynamics Perspective. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Wenliang Liu, Noushin Mehdipour, Calin Belta Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Vince Kurtz, Hai Lin 0002 A More Scalable Mixed-Integer Encoding for Metric Temporal Logic. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Xu Huo, Kuangrong Hao, Lei Chen 0064, Xue-Song Tang, Tong Wang, Xin Cai A dynamic soft sensor of industrial fuzzy time series with propositional linear temporal logic. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Huanfei Zheng, Yue Wang 0011 Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Glen Chou, Necmiye Ozay, Dmitry Berenson Learning temporal logic formulas from suboptimal demonstrations: theory and experiments. Search on Bibsonomy Auton. Robots The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Sebastian Enqvist, Valentin Goranko The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Junya Ikemoto, Toshimitsu Ushio Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation. Search on Bibsonomy IEEE Access The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Kohei Fujita, Toshimitsu Ushio Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion. Search on Bibsonomy IEICE Trans. Fundam. Electron. Commun. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
10Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol An automated system repair framework with signal temporal logic. Search on Bibsonomy Acta Informatica The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 3993 (20 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license