IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.122
EU - Europa 1.766
AS - Asia 1.078
SA - Sud America 333
AF - Africa 32
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
AN - Antartide 1
Totale 5.340
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.034
RU - Federazione Russa 483
SG - Singapore 395
DE - Germania 368
BR - Brasile 302
IT - Italia 262
CN - Cina 217
HK - Hong Kong 135
IN - India 135
FI - Finlandia 119
UA - Ucraina 105
GB - Regno Unito 88
VN - Vietnam 87
NL - Olanda 83
SE - Svezia 54
CA - Canada 49
IE - Irlanda 41
FR - Francia 38
JP - Giappone 34
BE - Belgio 31
PL - Polonia 30
MX - Messico 24
ZA - Sudafrica 24
ES - Italia 19
BD - Bangladesh 18
AR - Argentina 12
TR - Turchia 12
LT - Lituania 10
IQ - Iraq 9
CO - Colombia 7
HU - Ungheria 7
IL - Israele 7
AT - Austria 6
AU - Australia 5
VE - Venezuela 5
AE - Emirati Arabi Uniti 4
EC - Ecuador 4
GT - Guatemala 4
MA - Marocco 4
CH - Svizzera 3
CZ - Repubblica Ceca 3
DO - Repubblica Dominicana 3
EU - Europa 3
GR - Grecia 3
KR - Corea 3
LB - Libano 3
RO - Romania 3
SI - Slovenia 3
UZ - Uzbekistan 3
AZ - Azerbaigian 2
CR - Costa Rica 2
DK - Danimarca 2
IR - Iran 2
JM - Giamaica 2
KZ - Kazakistan 2
PK - Pakistan 2
PT - Portogallo 2
SA - Arabia Saudita 2
AL - Albania 1
AQ - Antartide 1
BH - Bahrain 1
BN - Brunei Darussalam 1
DM - Dominica 1
DZ - Algeria 1
EG - Egitto 1
ET - Etiopia 1
HN - Honduras 1
JO - Giordania 1
KE - Kenya 1
LU - Lussemburgo 1
MY - Malesia 1
NI - Nicaragua 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TW - Taiwan 1
UY - Uruguay 1
Totale 5.340
Salva come PNG Salva come JPEG
Città #
Chandler 283
Singapore 239
Jacksonville 189
Ashburn 171
Moscow 132
Hong Kong 130
Munich 126
The Dalles 101
Helsinki 89
Boardman 85
Ann Arbor 82
Los Angeles 82
Dallas 79
New York 79
Beijing 78
Trento 73
Wilmington 60
Hefei 49
Brooklyn 41
Dublin 41
Kronberg 36
Dearborn 32
Dong Ket 30
Brussels 27
São Paulo 27
Warsaw 25
Phoenix 24
Ho Chi Minh City 22
Milan 22
Tokyo 22
Montreal 21
Johannesburg 18
Ponte Sasso 17
Santa Clara 17
Guangzhou 16
Nijmegen 16
Woodbridge 16
Seattle 15
Stuttgart 14
Hanoi 13
Denver 12
Frankfurt am Main 12
Houston 12
Pune 12
Amsterdam 11
Columbus 11
Miami 11
Ottawa 11
Rio de Janeiro 11
Rome 11
Boston 10
Chennai 10
Council Bluffs 10
Falkenstein 10
London 10
Pergine Valsugana 10
Verona 10
Manchester 9
Mumbai 9
Orem 9
Poplar 9
Stockholm 9
Assago 8
Cheyenne 8
Mexico City 8
Redwood City 8
Atlanta 7
Desenzano Del Garda 7
Toronto 7
Ankara 6
Belo Horizonte 6
Charlotte 6
Des Moines 6
New Delhi 6
Salvador 6
Secaucus 6
Tübingen 6
Brescia 5
Bressanvido 5
Cambridge 5
Chicago 5
Querétaro 5
Antwerp 4
Bolzano 4
City of London 4
Curitiba 4
Dhaka 4
El Salvador 4
Fulda 4
Guanzate 4
Hanover 4
Kagoya 4
Karlsruhe 4
Leipzig 4
San Jose 4
Tappahannock 4
Vienna 4
Barcelona 3
Bogotá 3
Botucatu 3
Totale 3.063
Salva come PNG Salva come JPEG
Nome #
Sistema robotico olfattivo 220
Robustness Envelopes for Temporal Plans 206
NuSMV 203
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 193
Temporal Planning with Temporal Metric Trajectory Constraints 189
The xSAP Safety Analysis Platform 160
Strong temporal planning with uncontrollable durations 153
KRATOS 150
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 149
SMT-based Validation of Timed Failure Propagation Graphs 143
Dynamic controllability via Timed Game Automata 140
OthelloPlay: a plug-in based tool for requirement formalization and validation 139
Supporting Requirements Validation: The EuRailCheck Tool 139
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 131
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 126
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 123
Kratos - A Software Model Checker for SystemC 121
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 121
The nuXmv Symbolic Model Checker 118
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 118
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 113
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 112
Solving Temporal Problems using SMT: Weak Controllability 111
Verifying SystemC: a Software Model Checking Approach 106
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 104
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 98
Temporal Planning with Intermediate Conditions and Effects 97
Solving strong controllability of temporal problems with uncertainty using SMT 96
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 95
Timelines with Temporal Uncertainty 92
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 92
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 89
Solving Temporal Problems using SMT: Strong Controllability 85
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 84
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 80
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 78
Expressive Optimal Temporal Planning via Optimization Modulo Theory 70
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 69
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 67
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 67
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 66
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 65
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 65
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 63
Abstract Action Scheduling for Optimal Temporal Planning via OMT 60
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 57
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 57
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 54
SMT-Based Model Checking of Max-Plus Linear Systems 52
Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning 51
Platform-Aware Mission Planning 9
Counterfactual Scenarios for Automated Planning 7
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning 6
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems 5
Totale 5.464
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.010
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 26.010
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021194 0 0 0 0 0 21 42 6 23 53 8 41
2021/2022239 14 2 5 25 19 15 5 34 23 12 41 44
2022/2023594 25 57 8 128 24 86 12 39 124 35 26 30
2023/2024422 31 11 46 16 25 90 17 44 27 34 9 72
2024/20251.662 17 14 139 63 34 50 142 146 525 199 209 124
2025/20261.373 151 226 221 370 300 105 0 0 0 0 0 0
Totale 5.464