UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Robustness of temporal logic specifications for continuous-time signals

Theoretical computer science, 2009-09, Vol.410 (42), p.4262-4291

2009

Volltextzugriff (PDF)

On-Line Monitoring for Temporal Logic Robustness

Runtime Verification, p.231-246

Volltextzugriff (PDF)

Temporal-Logic-Based Reactive Mission and Motion Planning

IEEE transactions on robotics, 2009-12, Vol.25 (6), p.1370-1381

2009

Volltextzugriff (PDF)

Temporal logic motion planning for dynamic robots

Automatica (Oxford), 2009-02, Vol.45 (2), p.343-352

2009

Volltextzugriff (PDF)

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic

The International journal of robotics research, 2024-02, Vol.43 (2), p.203-238

2024

Volltextzugriff (PDF)

Robustness of temporal logic specifications

Lecture notes in computer science, 2006, p.178-192

2006

Volltextzugriff (PDF)

Translating Structured English to Robot Controllers

Advanced robotics, 2008-01, Vol.22 (12), p.1343-1359

2008

Volltextzugriff (PDF)

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification

Runtime Verification, p.3-17

Volltextzugriff (PDF)

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach

ACM transactions on embedded computing systems, 2019-10, Vol.18 (5s), p.1-20

2019

Volltextzugriff (PDF)

Rapidly-exploring Random Trees for Testing Automated Vehicles

2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2019, p.661-666

2019

Volltextzugriff (PDF)

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

2018 IEEE Intelligent Vehicles Symposium (IV), 2018, p.1555-1562

2018

Volltextzugriff (PDF)

Mining parametric temporal logic properties in model-based design for cyber-physical systems

International journal on software tools for technology transfer, 2018-02, Vol.20 (1), p.79-93

2018

Volltextzugriff (PDF)

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Lectures on Runtime Verification, 2018, Vol.10457, p.135-175

2018

Volltextzugriff (PDF)

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances

2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), 2020, p.1-6

2020

Volltextzugriff (PDF)

On the minimal revision problem of specification automata

The International journal of robotics research, 2015-10, Vol.34 (12), p.1515-1535

2015

Volltextzugriff (PDF)

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components

IEEE transactions on intelligent vehicles, 2020-06, Vol.5 (2), p.265-280

2020

Volltextzugriff (PDF)

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time

IFAC-PapersOnLine, 2018, Vol.51 (16), p.103-108

2018

Volltextzugriff (PDF)

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach

2020 Information Theory and Applications Workshop (ITA), 2020, p.1-20

2020

Volltextzugriff (PDF)

NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments

2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022, p.10297-10303

2022

Volltextzugriff (PDF)

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees

IEEE transactions on automation science and engineering, 2024-07, Vol.21 (3), p.4504-4525

2024

Volltextzugriff (PDF)

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems

ACM transactions on embedded computing systems, 2018-04, Vol.17 (2), p.1-26

2018

Volltextzugriff (PDF)

Temporal Logic Verification Using Simulation

Formal Modeling and Analysis of Timed Systems, 2006, p.171-186

2006

Volltextzugriff (PDF)

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

ACM transactions on embedded computing systems, 2013-05, Vol.12 (2s), p.1-30

2013

Volltextzugriff (PDF)

PerceMon: Online Monitoring for Perception Systems

Runtime Verification, p.297-308

Volltextzugriff (PDF)

Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration

2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021, p.1673-1678

2021

Volltextzugriff (PDF)

1 – 25 von 132

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(41)
Mit Volltextzugriff
(115)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Englisch
(132)
Japanisch
(12)

Erscheinungsjahr

n.n

Thema

Science & Technology
(87)
Technology
(87)
Computer Science
(53)
Automation & Control Systems
(45)
Engineering
(37)
Engineering, Electrical & Electronic
(33)
Robustness
(32)
Computer Science, Theory & Methods
(24)
Robotics
(24)
Temporal Logic
(23)
Optimization
(21)
Testing
(20)
Trajectory
(19)
Computer Science, Software Engineering
(18)
Cyber-Physical Systems
(13)
Measurement
(13)
Safety
(13)
Computer Science, Artificial Intelligence
(12)
Planning
(12)
Computational Modeling
(11)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(3)
... seit 90 Tagen
(5)

Menü

Weitere Dienste

Einstellungen

Robustness of temporal logic specifications for continuous-time signals

On-Line Monitoring for Temporal Logic Robustness

Temporal-Logic-Based Reactive Mission and Motion Planning

Temporal logic motion planning for dynamic robots

Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic

Robustness of temporal logic specifications

Translating Structured English to Robot Controllers

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach

Rapidly-exploring Random Trees for Testing Automated Vehicles

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

Mining parametric temporal logic properties in model-based design for cyber-physical systems

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances

On the minimal revision problem of specification automata

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach

NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems

Temporal Logic Verification Using Simulation

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

PerceMon: Online Monitoring for Perception Systems

Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration

Suchergebnisse filtern