Search Results - "Linear temporal logic"

Reducing the Learning Time of Reinforcement Learning for the Supervisory Control of Discrete Event Systems

Authors: Yang, Junjun Tan, Kaige Feng, Lei et al.

Source: XPRES XPRESS – Initiative for excellence in production research IEEE Access. 11:59840-59853

Subject Terms: Discrete event system, linear temporal logic, supervisory control theory, reinforcement learning, Optimeringslära och systemteori, Optimization and Systems Theory, Datalogi, Computer Science, Industriella informations- och styrsystem, Industrial Information and Control Systems

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-330695
https://doi.org/10.1109/access.2023.3285432

A Systematic Literature Review on Mining LTL Specifications

Authors: Samuele Germiniani Daniele Nicoletti Graziano Pravadelli

Source: IEEE Access, Vol 13, Pp 48950-48998 (2025)

Subject Terms: API Rule Inference, Assertion Mining, Automata Learning, Behavior Detection, Linear Temporal Logic, Property Discovery, Software Reliability, Specification, Specification Mining, SVA Generation, Automata learning, API rule inference, Electrical engineering. Electronics. Nuclear engineering, linear temporal logic, specification mining, SVA generation, software reliability, TK1-9971

File Description: application/pdf

Access URL: https://doaj.org/article/1218fc2565534ce18b2866473621bca6

A Baseline Framework for the Qualification of LTL Specification Miners

Authors: Germiniani, Samuele Nicoletti, Daniele Pravadelli, Graziano

Source: 2025 Design, Automation & Test in Europe Conference (DATE). :1-7

Subject Terms: Linear Temporal Logic, Specification Mining, SVA Generation, Assertion Mining, Behavior Detection

Adaptive Task Planning and Formal Control Synthesis Using Temporal Logic Trees

Authors: Gao, Yulong Zhou, Can Abate, Alessandro et al.

Source: Real Time and Such Lecture Notes in Computer Science. :64-78

Subject Terms: Formal control synthesis, Linear temporal logic, Real-time systems, Task planning, Temporal logic tree

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-356285

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks

Authors: Lindemann, Lars Nowak, Jakub Schonbachler, Lukas et al.

Source: IEEE Transactions on Control Systems Technology. 29(2):858-865

Subject Terms: Autonomous mobile robots, Collision avoidance, Couplings, decentralized robotic networks, Feedback control, formal methods-based control synthesis, linear temporal logic (LTL), Mobile robots, Multi-agent systems, signal temporal logic (STL)., Task analysis, Computer circuits, Continuous time systems, Mobile agents, Multi agent systems, Multipurpose robots, Actuation capability, Continuous-time, Digital implementation, Feedback control law, Input saturation, Linear temporal logic, Multi-robot systems, Practical issues, Temporal logic

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-285460
https://kth.diva-portal.org/smash/get/diva2:1500717/FULLTEXT01.pdf

Local Observation Based Reactive Temporal Logic Planning of Human-Robot Systems

Authors: Zhangli Zhou Shaochen Wang Ziyang Chen et al.

Source: IEEE Transactions on Automation Science and Engineering, vol PP, iss 99

Subject Terms: Mechatronics and Robotics, Mechanical Engineering, Control engineering, Manufacturing Engineering, Control Engineering, linear temporal logic, human-robot collaboration, Mechanical engineering, Engineering, Industrial Engineering & Automation, mechatronics and robotics, intelligent manufacturing, Electrical engineering, Electrical and Electronic Engineering, Reactive planning, Eye Disease and Disorders of Vision, Electrical Engineering

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/7cb54251

Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models

Authors: Salwa Saad Etimad Fadel Ohoud Alzamzami et al.

Source: IEEE Access, Vol 13, Pp 4171-4187 (2025)

Subject Terms: parallel computing, Dual-level programming models, runtime errors, MPI, OpenMP, Electrical engineering. Electronics. Nuclear engineering, linear temporal logic, TK1-9971

Access URL: https://doaj.org/article/a52922994457450e8ba9928b5e47c122

Robust stutter bisimulation for abstraction and controller synthesis with disturbance

Authors: Krook, Jonas Malik, Robi Mohajerani, Sahar et al.

Source: Automatica. 160

Subject Terms: Abstraction, Cyber-physical systems, Disturbances, Controller synthesis, Linear temporal logic

File Description: electronic

Access URL: https://research.chalmers.se/publication/539121
https://research.chalmers.se/publication/539121/file/539121_Fulltext.pdf

A robust non-linear MPC framework for control of underwater vehicle manipulator systems under high-level tasks

Authors: Nikou, Alexandros Verginis, Christos Heshmati Alamdari, Shahabodin et al.

Source: IET Control Theory & Applications. 15(3):323-337

Subject Terms: Autonomous underwater vehicles, Controllers, Feedback control, Industrial manipulators, Model predictive control, Predictive control systems, Robust control, Temporal logic, Underwater equipment, Complicated structures, Development and controls, External disturbances, Linear temporal logic, Nonlinear model predictive control, Of autonomous underwater vehicles, State and input constraints, Underwater vehicle manipulator systems, Manipulators

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-309642
https://doi.org/10.1049/cth2.12045

Application of model checking in the formal verification of requirements for a speed control system in railway

Aplicação da verificação de modelos na verificação formal de requisitos para um sistema de controlo de velocidade em ferrovias

Authors: COELHO, CRISTIANO MANUEL GARCÊS Pinho, Luís Miguel Rosário da Silva REPOSITÓRIO P.PORTO

Contributors: COELHO, CRISTIANO MANUEL GARCÊS Pinho, Luís Miguel Rosário da Silva REPOSITÓRIO P.PORTO

Source: urn:tid:203995562

Subject Terms: Speed control systems, Linear Temporal Logic, Computation Tree Logic, Model checking, Sistemas de controlo de velocidade, Lógica temporal linear, Lógica árvore de computação, Verificação de modelos

File Description: application/pdf

Availability: http://hdl.handle.net/10400.22/30359

Computing Unsatisfiable Cores for LTLf Specifications

Authors: Marco Roveri Claudio Di Ciccio Chiara Di Francescomarino et al.

Source: Journal of Artificial Intelligence Research. 80:517-558

Subject Terms: Linear Temporal Logic, Satisfiability, Automated reasoning, Artificial intelligence, Formal specification, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering

File Description: application/pdf

Access URL: http://arxiv.org/abs/2203.04834
https://research-portal.uu.nl/en/publications/4f5a1c29-2ee6-4aac-b135-a14313d0d387
https://hdl.handle.net/11572/437393
https://jair.org/index.php/jair/article/view/15313
https://doi.org/10.1613/jair.1.15313
https://hdl.handle.net/11572/364853
https://hdl.handle.net/11573/1739570

A Petri nets-based modeling method for multi robot path planning

Authors: CHU Jing ZHOU Li YUE Qi et al.

Source: Xibei Gongye Daxue Xuebao, Vol 42, Iss 4, Pp 716-725 (2024)

Subject Terms: construction of lunar bases, petri net model, path planning modeling, TL1-4050, linear temporal logic, Motor vehicles. Aeronautics. Astronautics

Access URL: https://doaj.org/article/73275c9bfd204d1a80f8170778152958

LTL-based conformance checking of fuzzy event logs

Authors: Ivan Donadello Paolo Felli Craig Innes et al.

Source: Process Science. 2

Subject Terms: Conformance checking, Fuzzy event logs, Fuzzy linear temporal logic over finite traces

File Description: application/pdf

Access URL: https://link.springer.com/article/10.1007/s44311-025-00020-w
https://doi.org/10.1007/s44311-025-00020-w
https://hdl.handle.net/11585/1021131

LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper)

Authors: Vin, Eric Miller, Kyle A. Fremont, Daniel J. et al.

Contributors: Vin, Eric Miller, Kyle A. Fremont, Daniel J. et al.

Subject Terms: Interactive Theorem Proving, Lean 4, ddc:004, Linear Temporal Logic

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.37

Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk)

Authors: Zakharyaschev, Michael Michael Zakharyaschev

Contributors: Zakharyaschev, Michael Michael Zakharyaschev

Subject Terms: query-by-example, Linear temporal logic, ddc:004, Craig interpolation

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2025.1

Linear Temporal Logic with Standpoint Modalities (Invited Talk)

Authors: Baier, Christel Christel Baier

Contributors: Baier, Christel Christel Baier

Subject Terms: multi-modal logic, standpoint logics, ddc:004, Linear Temporal Logic, model checking, LTL

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.1

Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf

Authors: Ielo A. Mazzotta G. Ricca F. et al.

Subject Terms: Answer Set Programming, Linear Temporal Logic over Finite Traces, Minimal Unsatisfiable Cores

File Description: application/pdf

Access URL: https://ceur-ws.org/Vol-3904/
https://hdl.handle.net/10281/545342

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators

Authors: Artale, Alessandro Gnatenko, Anton Ryzhikov, Vladislav et al.

Contributors: Artale, Alessandro Gnatenko, Anton Ryzhikov, Vladislav et al.

Subject Terms: data complexity, ddc:004, Linear monadic datalog, linear temporal logic

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2025.31

Run-time Monitoring for Robot-Assisted Surgery

Authors: Gogoladze, Kristina Alechina, Natasha Hu, Zhaoyang Jacopo et al.

Source: Gogoladze, K, Alechina, N, Hu, Z J, Xu, H, van Jaarsveld, R & Ruurda, J P 2024, Run-time Monitoring for Robot-Assisted Surgery . in OVERLAY 2024 . CEUR, pp. 127-133, 6th OVERLAY@AI*IA 2024, Bolzano, Italy, 28/11/24 .

Subject Terms: Robot-assisted surgery, Linear temporal logic, Runtime verification

Access URL: https://research-portal.uu.nl/en/publications/6ea701c6-e903-41cf-be8a-6a320a0a44e3
https://research.ou.nl/en/publications/d6e11423-95a2-4255-ac94-7b2c933eda2c
https://hdl.handle.net/1820/d6e11423-95a2-4255-ac94-7b2c933eda2c
https://dblp.org/db/conf/overlay/overlay2024.html#GogoladzeAHXJR24
https://ceur-ws.org/Vol-3904/paper16.pdf
https://research.ou.nl/en/publications/d6e11423-95a2-4255-ac94-7b2c933eda2c

Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

Authors: Zhangli Zhou Ziyang Chen Mingyu Cai et al.

Source: IEEE Transactions on Industrial Electronics, vol PP, iss 99

Subject Terms: Electrical & Electronic Engineering, Engineering, quadruped robot, Data Management and Data Science, Artificial Intelligence, Information and Computing Sciences, Information and computing sciences, Computer vision, linear temporal logic, online motion planning, formal methods in automation and robotics

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/02p805kr