Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
82 | Yong Gao 0001, Joseph C. Culberson |
Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
77 | Mingyi Zhang 0002, Ying Zhang, Fangzhen Lin |
A characterization of answer sets for logic programs. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
nested logic programming, characterization of answer sets, completion semantics, tightness, loop formulas |
60 | Evsei Morozov |
The tightness in the ergodic analysis of regenerative queueing processes. |
Queueing Syst. Theory Appl. |
1997 |
DBLP DOI BibTeX RDF |
tightness, open Jackson-type network, closed network, embedded process, residual service time, queue-size process, waiting time process, non-identical service channels, positive recurrent regenerative process, regeneration condition, ergodicity, renewal process |
57 | Yuanlin Zhang 0004 |
On Tightness of Constraints. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
57 | Ying-Ping Chen, David E. Goldberg |
Tightness Time for the Linkage Learning Genetic Algorithm. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Peter van Beek, Rina Dechter |
Constraint tightness and looseness versus local and global consistency. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning |
37 | Orit Hazzan, Yael Dubinsky |
Clashes between Culture and Software Development Methods: The Case of the Israeli Hi-Tech Industry and Extreme Programming. |
AGILE |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Yang Shin |
Monotonicity properties in various retrial queues and their applications. |
Queueing Syst. Theory Appl. |
2006 |
DBLP DOI BibTeX RDF |
tightness, generalized truncated system, Retrial queue, stochastic comparison |
27 | A. V. Arhangel'skii |
The Hewitt-Nachbin Completion in Topological Algebra. Some Effects of Homogeneity. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
Moscow space, Hewitt-Nachbin completion, C-embedding, G -dense set, topological group, o-tightness, topological ring, topological field, G -point |
27 | Alan Olson, Kang G. Shin |
Probabilistic Clock Synchronization in Large Distributed Systems. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
probabilistic clock synchronization, large distributed systems, tightness, master/slave organization, interactive convergence algorithm, reliability, fault tolerant computing, distributed processing, synchronisation |
27 | Robert Sh. Liptser |
Large deviations for a simple closed queueing model. |
Queueing Syst. Theory Appl. |
1993 |
DBLP DOI BibTeX RDF |
exponential tightness, Fenchel-Legendre transform, semimartingale, large deviations, heavy traffic, service process, Arrival process |
25 | Amine Marref, Guillem Bernat |
Predicated Worst-Case Execution-Time Analysis. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Chrysanthos E. Gounaris, Christodoulos A. Floudas |
Tight convex underestimators for C2-continuous problems: I. univariate functions. |
J. Glob. Optim. |
2008 |
DBLP DOI BibTeX RDF |
Univariate functions, Global optimization, Convex underestimation, ?BB, Convex envelopes |
25 | Antanas Zilinskas, Julius Zilinskas |
On Efficiency of Tightening Bounds in Interval Global Optimization. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Assef Chmeiss, Lakhdar Sais |
Constraint Satisfaction Problems: Backtrack Search Revisited. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Tomas Eric Nordlander, Kenneth N. Brown, Derek H. Sleeman |
Identifying Inconsistent CSPs by Relaxation. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Helmut Alt, Rudolf Fleischer, Michael Kaufmann 0001, Kurt Mehlhorn, Stefan Näher, Stefan Schirra, Christian Uhrig |
Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures. |
SCG |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Xiaocui Yuan, Zhiming Lei, Hongtao Zhu, Yongtao Wang, Miaomiao Zhang |
A Tightness Detection Method for Railway Fasteners Based on RGB-P Bimodal Data. |
IEEE Trans. Instrum. Meas. |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Xinbo Li, Jinxin Gong |
Probabilistic evaluation of the leak-tightness function of the nuclear containment structure subjected to internal pressure. |
Reliab. Eng. Syst. Saf. |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Xiayu Chen, Shaobo Wei, Ruolin Ding, Yanrui Li |
Managing users' uncertainty in social commerce: the moderating role of cultural tightness. |
Ind. Manag. Data Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Qiang Hu, Zhenyu Yi, Ying Zhou, Ting Li, Fan Huang, Mei Liu, Qiang Li, Zhiwei Wang |
MonoBox: Tightness-free Box-supervised Polyp Segmentation using Monotonicity Constraint. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Zhenhua Wu, Lin Hu, Kun Li, Bin Gu |
The Market of Programming Skills: Market Tightness and Pay Equity. |
HICSS |
2024 |
DBLP BibTeX RDF |
|
20 | Makoto Hara, Jianqing Wang, Frank Leferink |
Numerical Derivation of Design Guidelines for Tightness and Shaking Amplitude of Vibrating Intrinsic Reverberation Chamber by Method of Moment. |
IEICE Trans. Commun. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Max Biggs, Georgia Perakis |
Tightness of prescriptive tree-based mixed-integer optimization formulations. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Calum MacRury, Will Ma |
Random-order Contention Resolution via Continuous Induction: Tightness for Bipartite Matching under Vertex Arrivals. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xuetong Wu, Jonathan H. Manton, Uwe Aickelin, Jingge Zhu |
On the tightness of information-theoretic bounds on generalization error of learning algorithms. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yuxing Jia, Waichon Lio |
Tightness of triangle inequality in uncertainty theory. |
Soft Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shuyang Ling |
Solving orthogonal group synchronization via convex and low-rank optimization: tightness and landscape analysis. |
Math. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Kai Gellert, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager |
On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
20 | Alberto Encarnación-Martínez, Antonio García-Gallart, Pedro Pérez-Soriano, Ignacio Catalá-Vilaplana, Julia Rizo-Albero, Roberto Sanchis-Sanchis |
Effect of Hamstring Tightness and Fatigue on Dynamic Stability and Agility in Physically Active Young Men. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Zhaohua Chen 0001, Xiaotie Deng, Wenhan Huang, Hanyu Li, Yuhao Li 0002 |
On tightness of Tsaknakis-Spirakis descent methods for approximate Nash equilibria. |
Inf. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Wai-Yiu Keung, Hoi-To Wai, Wing-Kin Ma |
Secure Integrated Sensing and Communication Downlink Beamforming: A Semidefinite Relaxation Approach With Tightness Guaranteed. |
ICASSP Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Luis Torres, Jinho Lee, Taku Hachisu, Sandra Puentes |
Validity of Accelerometer-Based Sensor System for Muscle Tightness Estimation through Vibration on the Upper Limb. |
EMBC |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jiashuo Jiang, Will Ma, Jiawei Zhang 0006 |
Tightness without Counterexamples: A New Approach and New Results for Prophet Inequalities. |
EC |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Kai Gellert, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager |
On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation. |
CRYPTO (4) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jian Kang 0005, Rubén Fernández-Beltran, Sicong Liu 0001, Antonio Plaza |
Toward Tightness of Scalable Neighborhood Component Analysis for Remote-Sensing Image Characterization. |
IEEE Geosci. Remote. Sens. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Joong-Ho Won, Teng Zhang 0002, Hua Zhou 0001 |
Orthogonal Trace-Sum Maximization: Tightness of the Semidefinite Relaxation and Guarantee of Locally Optimal Solutions. |
SIAM J. Optim. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Zhenglong Ding, Wan Song, Shu Zhan |
A Measurement System for the Tightness of Sealed Vessels Based on Machine Vision Using Deep Learning Algorithm. |
IEEE Trans. Instrum. Meas. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Cheng Tang |
On the tightness of linear relaxation based robustness certification methods. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Koplenig, Sascha Wolfer |
Both the validity of the cultural tightness index and the association with creativity and order are spurious - a comment on Jackson et al. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
20 | Jiashuo Jiang, Will Ma, Jiawei Zhang 0006 |
Tightness without Counterexamples: A New Approach and New Results for Prophet Inequalities. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Pierre-Alexandre Mattei, Jes Frellsen |
Uphill Roads to Variational Tightness: Monotonicity and Monte Carlo Objectives. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
20 | Fredrik Hellström, Giuseppe Durisi |
Evaluated CMI Bounds for Meta Learning: Tightness and Expressiveness. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alex L. Wang, Fatma Kilinç-Karzan |
On the tightness of SDP relaxations of QCQPs. |
Math. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Hans Heum, Martijn Stam |
Tightness Subtleties for Multi-user PKE Notions. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
20 | Fuchun Guo, Willy Susilo |
Optimal Tightness for Chain-Based Unique Signatures. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
20 | Xin Chen 0040, Anqi Pang, Wei Yang 0034, Peihao Wang, Lan Xu, Jingyi Yu |
TightCap: 3D Human Shape Capture with Clothing Tightness Field. |
ACM Trans. Graph. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lucas Brynte, Viktor Larsson, José Pedro Iglesias, Carl Olsson, Fredrik Kahl |
On the Tightness of Semidefinite Relaxations for Rotation Estimation. |
J. Math. Imaging Vis. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Yikai Zhang, Wenjia Zhang, Sammy Bald, Vamsi Pingali, Chao Chen 0012, Mayank Goswami 0001 |
Stability of SGD: Tightness analysis and improved bounds. |
UAI |
2022 |
DBLP BibTeX RDF |
|
20 | Fuchun Guo, Willy Susilo |
Optimal Tightness for Chain-Based Unique Signatures. |
EUROCRYPT (2) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Fredrik Hellström, Giuseppe Durisi |
Evaluated CMI Bounds for Meta Learning: Tightness and Expressiveness. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
20 | Hanqi Wang, Zhiling Wang, Linglong Lin, Fengyu Xu, Jie Yu, Huawei Liang |
Optimal Vehicle Pose Estimation Network Based on Time Series and Spatial Tightness with 3D LiDARs. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yikai Zhang, Wenjia Zhang, Sammy Bald, Vamsi Pingali, Chao Chen 0012, Mayank Goswami 0001 |
Stability of SGD: Tightness Analysis and Improved Bounds. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Juan Wang 0002, Bin Xia 0006 |
Bounding Box Tightness Prior for Weakly Supervised Image Segmentation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Zhaohua Chen 0001, Xiaotie Deng, Wenhan Huang, Hanyu Li, Yuhao Li 0002 |
On Tightness of the Tsaknakis-Spirakis Algorithm for Approximate Nash Equilibrium. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Lucas Brynte, Viktor Larsson, José Pedro Iglesias, Carl Olsson, Fredrik Kahl |
On the Tightness of Semidefinite Relaxations for Rotation Estimation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Delia Kesner, Andrés Viso |
The Power of Tightness for Call-By-Push-Value. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Ruichen Jiang, Ya-Feng Liu, Chenglong Bao, Bo Jiang 0010 |
Tightness and Equivalence of Semidefinite Relaxations for MIMO Detection. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Zhao Yuan |
On the Tightness of Convex Optimal Power Flow Model Based on Power Loss Relaxation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Qi-Ming Ding, Xiao-Xu Fang, He Lu |
The Tightness of Multipartite Coherence from Spectrum Estimation. |
Entropy |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shuai Han 0001, Shengli Liu 0001, Dawu Gu |
Key Encapsulation Mechanism with Tight Enhanced Security in the Multi-User Setting: Impossibility Result and Optimal Tightness. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
20 | David Niehues |
Verifiable Random Functions with Optimal Tightness. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
20 | Ashrujit Ghoshal, Stefano Tessaro |
On the Memory-Tightness of Hashed ElGamal. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
20 | Amanda Burcroff |
Tightness of domination inequalities for direct product graphs. |
Discret. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yuval Alfassi, Daniel Keren, Bruce Reznick |
The Non-Tightness of a Convex Relaxation to Rotation Recovery. |
Sensors |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Miaomiao Liu 0005, Qingcui Hu, Jingfeng Guo, Jing Chen |
Link Prediction Algorithm for Signed Social Networks Based on Local and Global Tightness. |
J. Inf. Process. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Zhaohua Chen 0001, Xiaotie Deng, Wenhan Huang, Hanyu Li, Yuhao Li 0002 |
On Tightness of the Tsaknakis-Spirakis Algorithm for Approximate Nash Equilibrium. |
SAGT |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shuai Han 0001, Shengli Liu 0001, Dawu Gu |
Key Encapsulation Mechanism with Tight Enhanced Security in the Multi-user Setting: Impossibility Result and Optimal Tightness. |
ASIACRYPT (2) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Haodong Jiang, Zhenfeng Zhang, Zhi Ma 0001 |
On the Non-tightness of Measurement-Based Reductions for Key Encapsulation Mechanism in the Quantum Random Oracle Model. |
ASIACRYPT (1) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | David Niehues |
Verifiable Random Functions with Optimal Tightness. |
Public Key Cryptography (2) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Qi-Xuan Ying, Hao Chen, Cheng Cheng |
Cultural Tightness Speeds up the Effects of Anti-epidemic Policies on Controlling COVID-19 Prevalence. |
BESC |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Juan Wang 0002, Bin Xia 0006 |
Bounding Box Tightness Prior for Weakly Supervised Image Segmentation. |
MICCAI (2) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Hans Heum, Martijn Stam |
Tightness Subtleties for Multi-user PKE Notions. |
IMACC |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Berndt 0001, Klaus Jansen, Alexandra Lassota |
Tightness of Sensitivity and Proximity Bounds for Integer Linear Programs. |
SOFSEM |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Zhao Yuan |
On the Tightness of Convex Optimal Power Flow Model Based on Power Loss Relaxation. |
ISGT-Europe |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Nan Zhang, Xilin Shi, Yun Zhang, Pengfei Shan |
Tightness Analysis of Underground Natural Gas and Oil Storage Caverns With Limit Pillar Widths in Bedded Rock Salt. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Cejudo, Angélica Ginés-Díaz, Pilar Sainz de Baranda |
Asymmetry and Tightness of Lower Limb Muscles in Equestrian Athletes: Are They Predictors for Back Pain? |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ling-Hua Chang, Po-Ning Chen, Fady Alajaji, Yunghsiang S. Han |
Tightness of the Asymptotic Generalized Poor-Verdú Error Bound for the Memoryless Symmetric Channel. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Shuyang Ling |
Solving Orthogonal Group Synchronization via Convex and Low-Rank Optimization: Tightness and Landscape Analysis. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Richard Y. Zhang |
On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Sebastian Berndt 0001, Klaus Jansen, Alexandra Lassota |
Tightness of Sensitivity and Proximity Bounds for Integer Linear Programs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Chen Zhu 0001, Renkun Ni, Ping-Yeh Chiang, Hengduo Li, Furong Huang, Tom Goldstein |
Improving the Tightness of Convex Relaxation Bounds for Training Certifiably Robust Classifiers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Arash Farokhi Soofi, Saeed D. Manshadi |
Demand Variation Impact on Tightness of Convex Relaxation Approaches for the ACOPF Problem. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Ashrujit Ghoshal, Joseph Jaeger, Stefano Tessaro |
The Memory-Tightness of Authenticated Encryption. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
20 | Mustafa Khairallah |
Observations on the Tightness of the Security Bounds of GIFT-COFB and HyENA. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
20 | Bor de Kock, Kristian Gjøsteen, Mattia Veroni |
Practical Isogeny-Based Key-exchange with Optimal Tightness. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
20 | Qiang Han, Shengchun Wang, Yue Fang, Le Wang, Xinyu Du, Hailang Li, Qixin He, Qibo Feng |
A Rail Fastener Tightness Detection Approach Using Multi-source Visual Sensor. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Wenbin Yu 0001, Yingjie Zhao, Lu Ding, Lei Song, Dan Huang |
Design of transfer learning structure for slot wedge tightness inspection robot. |
Robotics Auton. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yuliang Liu, Lianwen Jin, ChuanMing Fang |
Arbitrarily Shaped Scene Text Detection With a Mask Tightness Text Detector. |
IEEE Trans. Image Process. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Christoph Dobraunig, Bart Mennink |
Tightness of the Suffix Keyed Sponge Bound. |
IACR Trans. Symmetric Cryptol. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Bor de Kock, Kristian Gjøsteen, Mattia Veroni |
Practical Isogeny-Based Key-Exchange with Optimal Tightness. |
SAC |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ashrujit Ghoshal, Stefano Tessaro |
On the Memory-Tightness of Hashed ElGamal. |
EUROCRYPT (2) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Richard Y. Zhang |
On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples. |
NeurIPS |
2020 |
DBLP BibTeX RDF |
|
20 | Ashrujit Ghoshal, Joseph Jaeger, Stefano Tessaro |
The Memory-Tightness of Authenticated Encryption. |
CRYPTO (1) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Zhenya Tang, Leida Chen, Zhongyun Zhou, Merrill Warkentin, Mark Lee Gillenson |
The effects of social media use on control of corruption and moderating role of cultural tightness-looseness. |
Gov. Inf. Q. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ofer Meshi, Ben London 0001, Adrian Weller, David A. Sontag |
Train and Test Tightness of LP Relaxations in Structured Prediction. |
J. Mach. Learn. Res. |
2019 |
DBLP BibTeX RDF |
|
20 | Cheng Lu 0007, Ya-Feng Liu, Wei-Qiang Zhang 0001, Shuzhong Zhang |
Tightness of a New and Enhanced Semidefinite Relaxation for MIMO Detection. |
SIAM J. Optim. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Michel Abdalla, Fabrice Benhamouda, David Pointcheval |
On the Tightness of Forward-Secure Signature Reductions. |
J. Cryptol. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Susmit Jha, Ashish Tiwari 0001, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar |
TeLEx: learning signal temporal logic from positive examples using tightness metric. |
Formal Methods Syst. Des. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jaromil Najman, Alexander Mitsos |
On tightness and anchoring of McCormick and other relaxations. |
J. Glob. Optim. |
2019 |
DBLP DOI BibTeX RDF |
|