Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics Conference

Pullum, Laura L, Jha, Sumit Kumar, Ewetz, Rickard. (2024). Intelligence, Surveillance and Reconnaissance Task Specifications in Temporal Logics . 633-638. 10.1109/MILCOM61039.2024.10773812

cited authors

  • Pullum, Laura L; Jha, Sumit Kumar; Ewetz, Rickard

authors

date/time interval

  • October 28, 2024 -

publication date

  • January 1, 2024

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • ISR
  • Science & Technology
  • Technology
  • Telecommunications
  • linear temporal logic
  • signal temporal logic
  • specification

Location

  • DC, Washington

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

Conference

  • 2024 Military Communications Conference

publisher

  • IEEE

start page

  • 633

end page

  • 638