IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.093
EU - Europa 1.751
AS - Asia 1.065
SA - Sud America 333
AF - Africa 32
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 3
AN - Antartide 1
Totale 5.283
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.006
RU - Federazione Russa 483
SG - Singapore 388
DE - Germania 367
BR - Brasile 302
IT - Italia 260
CN - Cina 214
HK - Hong Kong 135
IN - India 132
FI - Finlandia 116
UA - Ucraina 105
VN - Vietnam 87
GB - Regno Unito 84
NL - Olanda 83
SE - Svezia 53
CA - Canada 48
IE - Irlanda 41
FR - Francia 38
JP - Giappone 34
BE - Belgio 31
PL - Polonia 28
MX - Messico 24
ZA - Sudafrica 24
BD - Bangladesh 18
ES - Italia 18
AR - Argentina 12
TR - Turchia 12
LT - Lituania 10
IQ - Iraq 9
CO - Colombia 7
HU - Ungheria 7
IL - Israele 7
AT - Austria 5
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.283
Salva come PNG Salva come JPEG
Città #
Chandler 283
Singapore 234
Jacksonville 189
Ashburn 164
Moscow 132
Hong Kong 130
Munich 126
The Dalles 101
Helsinki 86
Boardman 85
Ann Arbor 82
Los Angeles 81
Beijing 78
Dallas 78
New York 77
Trento 73
Wilmington 60
Hefei 49
Brooklyn 41
Dublin 41
Kronberg 36
Dearborn 32
Dong Ket 30
Brussels 27
São Paulo 27
Phoenix 24
Warsaw 23
Ho Chi Minh City 22
Milan 22
Tokyo 22
Montreal 20
Johannesburg 18
Ponte Sasso 17
Santa Clara 17
Guangzhou 16
Nijmegen 16
Woodbridge 16
Seattle 14
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
Council Bluffs 10
Falkenstein 10
Verona 10
Chennai 9
London 9
Manchester 9
Orem 9
Pergine Valsugana 9
Assago 8
Boston 8
Cheyenne 8
Mexico City 8
Mumbai 8
Poplar 8
Redwood City 8
Stockholm 8
Atlanta 7
Desenzano Del Garda 7
Toronto 7
Ankara 6
Belo Horizonte 6
Charlotte 6
Des Moines 6
Salvador 6
Secaucus 6
Tübingen 6
Brescia 5
Bressanvido 5
Cambridge 5
New Delhi 5
Querétaro 5
Antwerp 4
Bolzano 4
Chicago 4
City of London 4
Curitiba 4
Dhaka 4
El Salvador 4
Fulda 4
Guanzate 4
Hanover 4
Kagoya 4
Karlsruhe 4
Leipzig 4
Tappahannock 4
Vienna 4
Barcelona 3
Bogotá 3
Botucatu 3
Brasília 3
Totale 3.029
Salva come PNG Salva come JPEG
Nome #
Sistema robotico olfattivo 219
Robustness Envelopes for Temporal Plans 205
NuSMV 201
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 193
Temporal Planning with Temporal Metric Trajectory Constraints 188
The xSAP Safety Analysis Platform 159
Strong temporal planning with uncontrollable durations 152
KRATOS 149
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 148
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 124
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 123
Kratos - A Software Model Checker for SystemC 120
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 120
The nuXmv Symbolic Model Checker 117
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 117
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 113
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 111
Solving Temporal Problems using SMT: Weak Controllability 109
Verifying SystemC: a Software Model Checking Approach 106
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 100
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 97
Temporal Planning with Intermediate Conditions and Effects 97
Solving strong controllability of temporal problems with uncertainty using SMT 94
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 93
Timelines with Temporal Uncertainty 91
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 91
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 83
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 79
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 77
Expressive Optimal Temporal Planning via Optimization Modulo Theory 69
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 68
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 67
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 66
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 65
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 65
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 63
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 63
Abstract Action Scheduling for Optimal Temporal Planning via OMT 59
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 57
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 55
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 54
SMT-Based Model Checking of Max-Plus Linear Systems 51
Learning of Lifted Macro-Events for Heuristic-Search Temporal Planning 48
Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance Using Reinforcement Learning 4
Platform-Aware Mission Planning 3
Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems 1
Counterfactual Scenarios for Automated Planning 1
Totale 5.401
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.715
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 25.715
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.310 151 226 221 370 300 42 0 0 0 0 0 0
Totale 5.401