Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 437 matches
- 2024
- Xinyi Yu, Weijie Dong, Shaoyuan Li, Xiang Yin:
Model predictive monitoring of dynamical systems for signal temporal logic specifications. Autom. 160: 111445 (2024) - Sven Schneider, Maria Maximova, Holger Giese:
Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic. J. Log. Algebraic Methods Program. 137: 100938 (2024) - Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano:
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS 2024: 271-280 - Zhaoyuan Gu, Yuntian Zhao, Yipu Chen, Rongming Guo, Jennifer K. Leestma, Gregory S. Sawicki, Ye Zhao:
Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control. CoRR abs/2403.15993 (2024) - 2023
- Junchao Li, Mingyu Cai, Zhaoan Wang, Shaoping Xiao:
Model-based motion planning in POMDPs with temporal logic specifications. Adv. Robotics 37(14): 871-886 (2023) - Dov M. Gabbay, Gadi Rozenberg:
Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks. FLAP 10(5): 909-966 (2023) - Augusto Peres, Jaime Ramos, Francisco Dionísio:
Bounded model checking distributed temporal logic. J. Log. Comput. 33(5): 1022-1059 (2023) - Yuanfei Lin, Haoxuan Li, Matthias Althoff:
Model Predictive Robustness of Signal Temporal Logic Predicates. IEEE Robotics Autom. Lett. 8(12): 8050-8057 (2023) - Daiying Tian, Hao Fang, Qingkai Yang, Haoyong Yu, Wenyu Liang, Yan Wu:
Reinforcement learning under temporal logic constraints as a sequence modeling problem. Robotics Auton. Syst. 161: 104351 (2023) - Wojciech Penczek:
Model Checking of Strategic Timed Temporal Logics (Invited Talk). PNSE@Petri Nets 2023 - Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel:
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CAV (2) 2023: 383-396 - Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin:
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CDC 2023: 7849-7855 - Davide Catta, Jean Leneutre, Vadim Malvone:
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI 2023: 365-372 - Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. EMNLP 2023: 15880-15903 - Zhijun Ding, Cong He, Shuo Li:
EnPAC: Petri Net Model Checking for Linear Temporal Logic. ICNSC 2023: 1-6 - Wenliang Liu, Mirai Nishioka, Calin Belta:
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. ICRA 2023: 12416-12422 - Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto:
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. ICTAC 2023: 119-138 - Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque:
Model Checking Time Window Temporal Logic for Hyperproperties. MEMOCODE 2023: 100-110 - Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel:
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CoRR abs/2303.04864 (2023) - Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. CoRR abs/2305.07766 (2023) - Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong:
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference. CoRR abs/2306.09966 (2023) - Zhijun Ding, Cong He, Shuo Li:
EnPAC: Petri Net Model Checking for Linear Temporal Logic. CoRR abs/2307.12324 (2023) - Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque:
Model Checking Time Window Temporal Logic for Hyperproperties. CoRR abs/2308.02554 (2023) - Jun Wang, Jiaming Tong, Kaiyuan Tan, Yevgeniy Vorobeychik, Yiannis Kantaros:
Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help. CoRR abs/2309.10092 (2023) - Zhaoyuan Gu, Rongming Guo, William Yates, Yipu Chen, Ye Zhao:
Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations. CoRR abs/2309.13172 (2023) - Zhaoyuan Gu, Rongming Guo, William Yates, Yipu Chen, Ye Zhao:
Signal Temporal Logic-Guided Model Predictive Control for Robust Bipedal Locomotion Resilient to Runtime External Perturbations. CoRR abs/2310.11290 (2023) - Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto:
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. CoRR abs/2311.01414 (2023) - 2022
- Anton R. Gnatenko, Vladimir A. Zakharov:
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic. Autom. Control. Comput. Sci. 56(7): 649-660 (2022) - Ruochen Niu, Syed M. Hassaan, Liren Yang, Zeyuan Jin, Sze Zheng Yong:
Model Discrimination of Switched Nonlinear Systems With Temporal Logic-Constrained Switching. IEEE Control. Syst. Lett. 6: 151-156 (2022) - Norihiro Kamide:
Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking. Int. J. Softw. Eng. Knowl. Eng. 32(7): 971-1017 (2022)
skipping 407 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-08 11:50 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint