Alex Sleat
Papers
2
Total Citations
16
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 16 citations
Specification language1 · 11 citations
Computation1 · 11 citations
Linear temporal logic1 · 11 citations
Robustness (evolution)1 · 11 citations
Semantics (computer science)1 · 11 citations
Algorithm1 · 11 citations
Computation tree logic1 · 11 citations
Programming language1 · 11 citations
Focus (optics)1 · 11 citations
Real-time computing1 · 11 citations
Temporal logic1 · 11 citations
Key Achievements
2
H-Index
2
Papers
16
Total Citations
8
Avg Citations/Paper
🏆 Most Cited Paper
Real-Time RRT<sup>*</sup> with Signal Temporal Logic Preferences
11 citations · 2023
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 10
🏛 Institutions: KTH Royal Institute of Technology
Top Papers
- 1Real-Time RRT<sup>*</sup> with Signal Temporal Logic Preferences11 citations · 2023
- 2
Key Collaborators
ILIolanda Leite2 shared papersJTJana Tůmová1 shared papersITIlaria Torre1 shared papersEBErmanno Bartoli1 shared papersALAlexis Linard1 shared papersLMLucas Morillo-Mendez1 shared papersMGMartien G.S. Schrooten1 shared papersTSTim Schreiter1 shared papersÓMÓscar Martínez Mozos1 shared papersRSRebecca Stower1 shared papers
Not generated yet