The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Temporal logic specifications (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1989 (15) 1990-1998 (19) 1999-2003 (23) 2004-2006 (17) 2007-2011 (17) 2012-2013 (21) 2014-2015 (26) 2016 (18) 2017 (19) 2018 (22) 2019 (33) 2020 (38) 2021 (52) 2022 (44)
Publication types (Num. hits)
article(166) inproceedings(195) phdthesis(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 88 occurrences of 64 keywords

Results
Found 364 publication records. Showing 364 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
48Rance Cleaveland Temporal Process Logic (Abstract). Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
46Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat Wrapping Real-Time Systems from Temporal Logic Specifications. Search on Bibsonomy EDCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Anatol Ursu, Gabriela Gruita, Sergiu Zaporojan Design and verification of the sequential systems automata using temporal logic specifications. Search on Bibsonomy ED&TC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42John Håkansson, Bengt Jonsson 0001, Ola Lundqvist Generating online test oracles from temporal logic specifications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
39Li Tan Model-based self-monitoring embedded programs with temporal logic specifications. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF embedded systems, temporal logic, run-time verification
37Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro A Finite-Domain Semantics for Testing Temporal Logic Specifications. Search on Bibsonomy FTRTFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Ben C. Moszkowski Executing Temporal Logic Programs. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
35Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat Building SWIFI Tools from Temporal Logic Specifications. Search on Bibsonomy DSN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Laura K. Dillon, Y. S. Ramakrishna Generating Oracles from Your Favorite Temporal Logic Specifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF propositional temporal logic, specification-based test oracles, tableau methods, test validation, verification, formal specification
32Marko Samer, Helmut Veith Deterministic CTL Query Solving. Search on Bibsonomy TIME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Sertac Karaman, Emilio Frazzoli Vehicle Routing Problem with Metric Temporal Logic Specifications. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Klaus Havelund, Grigore Rosu An Overview of the Runtime Verification Tool Java PathExplorer. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
30Orna Kupferman, Moshe Y. Vardi Vacuity detection in temporal model checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Vacuous satisfaction, Model checking
30Orna Kupferman, Moshe Y. Vardi Vacuity Detection in Temporal Model Checking. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray Receding horizon control for temporal logic specifications. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF embedded control software, receding horizon control, linear temporal logic
25Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bi-infinite time, satisfiability checking, temporal logic, bounded model checking
24Emmanuel Letier, Axel van Lamsweerde Deriving operational software specifications from system goals. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem
24Alë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
24Ali 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
24Hammad Ahmad, Jean-Baptiste Jeannin A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Hammad Ahmad, Jean-Baptiste Jeannin A program logic to verify signal temporal logic specifications of hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21François Fages, Aurélien Rizk From Model-Checking to Temporal Logic Constraint Solving. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21William G. Wood Temporal Logic Case Study. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
20Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ananth Grama Building Verifiable Sensing Applications Through Temporal Logic Specification. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini Trio2Promela: A Model Checker for Temporal Metric Specifications. Search on Bibsonomy ICSE Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Prasad Naldurg, Koushik Sen, Prasanna Thati A Temporal Logic Based Framework for Intrusion Detection. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF security, Intrusion detection, temporal logic, runtime monitoring
20Ron van der Meyden, Thomas Wilke Synthesis of Distributed Systems from Knowledge-Based Specifications. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20R. I. Scott, Michael Fisher 0001, John A. Keane Parallel Temporal Tableaux. Search on Bibsonomy Euro-Par The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Mahesh Viswanathan 0001, Ramesh Viswanathan Foundations for Circular Compositional Reasoning. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Wenliang 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
19Huanfei 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
19Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan Multi-Agent Motion Planning From Signal Temporal Logic Specifications. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Kevin Leahy 0001, Austin Jones, Cristian-Ioan Vasile Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Mingyu Cai, Kevin Leahy 0001, Zachary Serlin, Cristian-Ioan Vasile Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ruixuan Yan, Agung Julius Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Min Wen, Ufuk Topcu Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Jie Fang, Zetian Zhang, Raghvendra V. Cowlagi Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications. Search on Bibsonomy Autom. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Angelo Montanari, Pietro Sala Reactive synthesis from interval temporal logic specifications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas Risk of Stochastic Systems for Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Karen Leung, Marco Pavone Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
19Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou, Pierluigi Nuzzo Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ryo Miyashita, Yoshihiko Susuki, Atsushi Ishigame Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Xinyi Yu, Weijie Dong, Xiang Yin 0003, Shaoyuan Li Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin 0003 Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Bernard Serbinowski, Taylor T. Johnson BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Nasim Baharisangari, Zhe Xu 0005 Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Amy Fang, Hadas Kress-Gazit Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Mingyu Cai, Erfan Aasi, Calin Belta, Cristian-Ioan Vasile Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
19Xinyi Yu, Weijie Dong, Xiang Yin 0003, Shaoyuan Li Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy 0001, Cristian-Ioan Vasile Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan Multi-agent Motion Planning from Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
19Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments. Search on Bibsonomy ACM Trans. Cyber Phys. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic Survey on mining signal temporal logic specifications. Search on Bibsonomy Inf. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ruofei Bai, Ronghao Zheng, Yang Xu, Meiqin Liu, Senlin Zhang Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications. Search on Bibsonomy Robotics Auton. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Craig Innes, Subramanian Ramamoorthy Automated Testing With Temporal Logic Specifications for Robotic Controllers Using Adaptive Experiment Design. Search on Bibsonomy ICRA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Amy Fang, Hadas Kress-Gazit Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. Search on Bibsonomy ICRA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Feifei Huang, Xiang Yin 0003, Shaoyuan Li Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications. Search on Bibsonomy ASCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Karen Leung, Marco Pavone Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications. Search on Bibsonomy ACC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Wei Ren, Raphaël Jungers Reachability-based Control Synthesis under Signal Temporal Logic Specifications. Search on Bibsonomy ACC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. Search on Bibsonomy HSCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Fei Chen, Dimos V. Dimarogonas Funnel-based Cooperative Control of Leader-follower Multi-agent Systems under Signal Temporal Logic Specifications. Search on Bibsonomy ECC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications. Search on Bibsonomy ECC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Duo Xu, Faramarz Fekri Integrating Symbolic Planning and Reinforcement Learning for Following Temporal Logic Specifications. Search on Bibsonomy IJCNN The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ryo Miyashita, Yoshihiko Susuki, Atsushi Ishigame Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System. Search on Bibsonomy SICE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Junya Ikemoto, Toshimitsu Ushio Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications. Search on Bibsonomy ETFA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. Search on Bibsonomy SEFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Bernard Serbinowski, Taylor T. Johnson BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. Search on Bibsonomy SEFM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
19Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Ruixuan Yan, Agung Julius A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Giuseppe Silano, Tomás Báca, Robert Penicka, Davide Liuzza, Martin Saska Power Line Inspection Tasks With Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications. Search on Bibsonomy IEEE Robotics Autom. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Andrea Bisoffi, Dimos V. Dimarogonas Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Search on Bibsonomy Autom. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Mohit Srinivasan, Samuel Coogan 0001 Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications. Search on Bibsonomy IEEE Trans. Robotics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Ruofei Bai, Ronghao Zheng, Yang Xu, Meiqin Liu, Senlin Zhang Hierarchical Multi-robot Strategies Synthesis and Optimization under Individual and Collaborative Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Max H. Cohen, Calin Belta Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Gideon Geier, Philippe Heim, Felix Klein 0001, Bernd Finkbeiner Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Shen Li, Daehyung Park, Yoonchang Sung, Julie A. Shah, Nicholas Roy Reactive Task and Motion Planning under Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Antonio Cau, Stefan Kuhn 0001, James Hoey Executable Interval Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Craig Innes, Subramanian Ramamoorthy Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Giuseppe Silano, Davide Liuzza, Luigi Iannelli, Martin Saska A framework for power line inspection tasks with multi-robot systems from signal temporal logic specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Homer Walke, Daniel Ritter 0005, Carl Trimbach, Michael L. Littman Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Ruofei Bai, Ronghao Zheng, Meiqin Liu, Senlin Zhang Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Zhe Xu 0005, Federico M. Zegers, Bo Wu 0005, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Dhaval Gujarathi, Indranil Saha MT* : Multi-Robot Path Planning for Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Zhe Xu 0005, Yichen Zhang Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Krishna Chaitanya Kalagarla, Rahul Jain 0002, Pierluigi Nuzzo Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Wei Ren, Raphaël M. Jungers Reachability-based Control Synthesis under Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Pian Yu, Yulong Gao, Karl Henrik Johansson, Dimos V. Dimarogonas Robust satisfiability check and online control synthesis for uncertain systems under signal temporal logic specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Junya Ikemoto, Toshimitsu Ushio Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Lewis Hammond, Alessandro Abate, Julian Gutierrez 0001, Michael J. Wooldridge Multi-Agent Reinforcement Learning with Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Wei Xiao 0003, Calin A. Belta, Christos G. Cassandras High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
19Franck Djeumou, Zhe Xu 0005, Murat Cubuktepe, Ufuk Topcu Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 364 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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