arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Jaime Arias"" — arXiv2 Search
Showing 1–6 of 6 results
/ Date
/ Name
Jan 18, 2021
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Jun 12, 2019
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
Feb 26, 2023
Strategic (Timed) Computation Tree Logic
Jan 3, 2024
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
May 8, 2023
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models
Mar 15, 2023
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving