System requirements specification

Specification revision for Markov decision processes with optimal trade-off

Morteza Lahijanian, Marta Kwiatkowska

引用数: 35 • 2016

Model-based requirements engineering: Architecting for system requirements with stakeholders in mind

Yaniv Mordecai, Dov Dori

引用数: 31 • 2017

PsALM: Specification of Dependable Robotic Missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione

引用数: 25 • 2019

A real-time system description language

D. Niehaus, John A. Stankovic, Krithi Ramamritham

引用数: 17 • 2002

From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach

Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva

引用数: 16 • 2019

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals

Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto

引用数: 14 • 2018

A Summary of Formal Specification and Verification of Autonomous Robotic Systems

引用数: 14 • 2019

Hybrid specification of control systems

K. Brink, L. Bun, J. van Katwijk, W.J. Toetenel

引用数: 14 • 2002

Virtual environment modeling for requirements validation of high consequence systems

Victor Winter, D. Desovski

引用数: 12 • 2002

CROME: Contract-Based Robotic Mission Specification

Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider

引用数: 7 • 2020

A Foundation for the Design and Analysis of Robotic Systems and Behaviors

Alan K. Mackworth, Ying Zhang

引用数: 7 • 1994

"Specification Technique for Virtual Testbeds in Space Robotics"

Ruslan Bernijazov, Michael Hillebrand, Christian Bremer, Lydia Kaiser, Roman Dumitrescu

引用数: 6 • 2018

Formal specification and verification of a team formation protocol using TLA⁺

Rajdeep Niyogi, Amar Nath

引用数: 5 • 2023

An intent-specifications model for a robotic software control system

Israel Navarro, Kristina Lundqvist, Nancy G. Leveson

引用数: 5 • 2002

Specification-guided Software Fault Localization for Autonomous Mobile Systems

Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov, Jyotirmoy V. Deshmukh

引用数: 4 • 2020

Live synthesis

Bernd Finkbeiner, F. Klein, Niklas Metzger

引用数: 3 • 2022

Formal specification and verification of a team formation protocol using TLA

Rajdeep Niyogi, Amar Nath

引用数: 2 • 2023