IRIS Institutional Research Information System

Micheli, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.582
EU - Europa 1.544
AS - Asia 622
SA - Sud America 141
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 3.904
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.549
RU - Federazione Russa 452
DE - Germania 338
IT - Italia 232
SG - Singapore 206
BR - Brasile 138
CN - Cina 114
HK - Hong Kong 113
FI - Finlandia 112
IN - India 105
UA - Ucraina 100
NL - Olanda 76
GB - Regno Unito 52
SE - Svezia 45
IE - Irlanda 41
BE - Belgio 31
VN - Vietnam 30
CA - Canada 21
FR - Francia 21
JP - Giappone 21
HU - Ungheria 7
BD - Bangladesh 6
MX - Messico 6
TR - Turchia 6
AT - Austria 5
ES - Italia 5
IL - Israele 5
PL - Polonia 5
GT - Guatemala 4
LT - Lituania 4
MA - Marocco 4
ZA - Sudafrica 4
AU - Australia 3
CZ - Repubblica Ceca 3
EU - Europa 3
GR - Grecia 3
KR - Corea 3
LB - Libano 3
SI - Slovenia 3
AR - Argentina 2
DK - Danimarca 2
IQ - Iraq 2
IR - Iran 2
PT - Portogallo 2
RO - Romania 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
CH - Svizzera 1
CR - Costa Rica 1
EG - Egitto 1
JM - Giamaica 1
KZ - Kazakistan 1
LU - Lussemburgo 1
PK - Pakistan 1
SK - Slovacchia (Repubblica Slovacca) 1
VE - Venezuela 1
Totale 3.904
Salva come PNG Salva come JPEG
Città #
Chandler 283
Jacksonville 188
Singapore 129
Hong Kong 111
Munich 111
Moscow 103
The Dalles 100
Helsinki 85
Ann Arbor 82
Boardman 81
Ashburn 74
Trento 72
Wilmington 60
New York 57
Los Angeles 52
Hefei 49
Dublin 41
Kronberg 36
Brooklyn 34
Dearborn 32
Dong Ket 30
Brussels 27
Beijing 24
Milan 20
Ponte Sasso 17
Nijmegen 16
Woodbridge 16
Guangzhou 14
Stuttgart 14
Phoenix 12
Ottawa 11
Council Bluffs 10
Falkenstein 10
Miami 10
Pune 10
Seattle 10
Tokyo 10
Dallas 9
Houston 9
Cheyenne 8
Redwood City 8
Verona 8
Desenzano Del Garda 7
Santa Clara 7
Rio de Janeiro 6
São Paulo 6
Toronto 6
Tübingen 6
Belo Horizonte 5
Brescia 5
Bressanvido 5
Cambridge 5
Frankfurt am Main 5
London 5
Rome 5
Salvador 5
Amsterdam 4
Antwerp 4
Assago 4
Bolzano 4
El Salvador 4
Fulda 4
Guanzate 4
Hanover 4
Kagoya 4
Karlsruhe 4
Tappahannock 4
Vienna 4
Ankara 3
Barcelona 3
Boston 3
Budapest 3
Canazei 3
Charlotte 3
Jyväskylä 3
Norwalk 3
San Jose 3
Shanghai 3
Shenzhen 3
Stanford 3
Warsaw 3
Wuhan 3
Agadir 2
Bari 2
Battaglia Terme 2
Botucatu 2
Braunschweig 2
Brno 2
Cape Town 2
Cernusco Lombardone 2
Chennai 2
Chicago 2
Contagem 2
El Segundo 2
Florence 2
Fort Worth 2
Fremont 2
Gdansk 2
Ipatinga 2
Johannesburg 2
Totale 2.287
Salva come PNG Salva come JPEG
Nome #
Robustness Envelopes for Temporal Plans 184
Sistema robotico olfattivo 177
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 167
Temporal Planning with Temporal Metric Trajectory Constraints 165
NuSMV 154
Strong temporal planning with uncontrollable durations 139
The xSAP Safety Analysis Platform 127
KRATOS 122
OthelloPlay: a plug-in based tool for requirement formalization and validation 122
Supporting Requirements Validation: The EuRailCheck Tool 115
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 111
Dynamic controllability via Timed Game Automata 105
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 103
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 102
Kratos - A Software Model Checker for SystemC 101
SMT-based Validation of Timed Failure Propagation Graphs 98
Solving Temporal Problems using SMT: Weak Controllability 92
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 92
Verifying SystemC: a Software Model Checking Approach 89
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 87
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 86
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 86
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 85
The nuXmv Symbolic Model Checker 85
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 81
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 80
Temporal Planning with Intermediate Conditions and Effects 80
Solving strong controllability of temporal problems with uncertainty using SMT 78
Timelines with Temporal Uncertainty 73
Solving Temporal Problems using SMT: Strong Controllability 68
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 60
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 58
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 54
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 50
A Meta-Engine Framework for Interleaved Task and Motion Planning using Topological Refinements 49
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 48
Expressive Optimal Temporal Planning via Optimization Modulo Theory 48
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 48
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 48
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 44
SMT-Based Model Checking of Max-Plus Linear Systems 41
Against the Clock: Lessons Learned by Applying Temporal Planning in Practice 40
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 34
Unified Planning: Modeling, manipulating and solving AI planning problems in Python 33
Abstract Action Scheduling for Optimal Temporal Planning via OMT 33
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 30
Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning 18
Towards Estimation of 3D Poses and Shapes of Animals from Oblique Drone Imagery 15
Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation 10
Totale 4.015
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.060
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 21.060
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202023 0 0 0 0 0 0 0 0 0 0 0 23
2020/2021378 51 7 54 18 54 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.586 17 14 139 63 34 50 142 146 525 199 209 48
Totale 4.015