Language Of Temporal Ordering Specification

Specification revision for Markov decision processes with optimal trade-off

Morteza Lahijanian, Marta Kwiatkowska

Citations: 35 • 2016

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

Citations: 16 • 2019

Hybrid specification of control systems

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

Citations: 14 • 2002

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

Rajdeep Niyogi, Amar Nath

Citations: 5 • 2023

Formal specification, refinement, and implementation of path planning

Eman Rabiah Rabiah, Boumediene Belkhouche

Citations: 4 • 2016

Extending Object-Z for specifying real-time systems

K. Periyasamy, V. S. Alagar

Citations: 4 • 2002

Formal Specification of a Team Formation Protocol

Rajdeep Niyogi

Citations: 3 • 2022

A formal specification of the RT-Middleware data transfer protocol

Geoffrey Biggs, Noriaki Ando

Citations: 2 • 2016

Formal specification and verification of a team formation protocol using TLA

Rajdeep Niyogi, Amar Nath

Citations: 2 • 2023