Skip to main navigation
Skip to search
Skip to main content
Royal Holloway Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Activities
Prizes
Datasets
Search by expertise, name or affiliation
Nicola Paoletti
Dr
Centre for Intelligent Systems
Overview
Network
Research output
(29)
Supervised Work
(1)
Research output
14
Conference contribution
11
Article
2
Paper
1
Chapter
1
More
1
Other contribution
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Chapter
Search results
2019
Neural Predictive Monitoring
Bortolussi, L., Cairoli, F.,
Paoletti, N.
, Smolka, S. A. & Stoller, S. D.,
1 Oct 2019
, (E-pub ahead of print)
Runtime Verification.
p. 129-147
19 p.
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
Open Access
File
81
Downloads (Pure)