Micheli, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 1.281
EU - Europa 785
AS - Asia 274
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
SA - Sud America 3
AF - Africa 1
Totale 2.350
Nazione #
US - Stati Uniti d'America 1.262
DE - Germania 213
IT - Italia 165
UA - Ucraina 99
IN - India 98
FI - Finlandia 51
SE - Svezia 45
HK - Hong Kong 44
GB - Regno Unito 42
CN - Cina 41
IE - Irlanda 40
RU - Federazione Russa 37
VN - Vietnam 30
BE - Belgio 27
SG - Singapore 26
JP - Giappone 21
NL - Olanda 19
FR - Francia 18
CA - Canada 13
HU - Ungheria 7
IL - Israele 5
GT - Guatemala 4
PL - Polonia 4
AU - Australia 3
ES - Italia 3
EU - Europa 3
KR - Corea 3
SI - Slovenia 3
BR - Brasile 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
GR - Grecia 2
IR - Iran 2
LB - Libano 2
PT - Portogallo 2
RO - Romania 2
AR - Argentina 1
CH - Svizzera 1
CR - Costa Rica 1
EG - Egitto 1
MX - Messico 1
PK - Pakistan 1
SK - Slovacchia (Repubblica Slovacca) 1
TR - Turchia 1
Totale 2.350
Città #
Chandler 283
Jacksonville 188
Ann Arbor 82
Boardman 70
Ashburn 68
Wilmington 60
Trento 59
New York 51
Los Angeles 45
Hong Kong 42
Dublin 40
Kronberg 36
Dearborn 32
Brooklyn 30
Dong Ket 30
Helsinki 30
Brussels 23
Beijing 21
Singapore 19
Ponte Sasso 17
Nijmegen 16
Woodbridge 16
Stuttgart 14
Phoenix 12
Milan 11
Guangzhou 10
Pune 10
Tokyo 10
Houston 9
Cheyenne 8
Ottawa 8
Redwood City 8
Verona 8
Desenzano Del Garda 7
Munich 7
Seattle 6
Tübingen 6
Cambridge 5
Dallas 5
Antwerp 4
Bolzano 4
Council Bluffs 4
El Salvador 4
Fulda 4
Guanzate 4
Hanover 4
Kagoya 4
Karlsruhe 4
Rome 4
Tappahannock 4
Barcelona 3
Budapest 3
Canazei 3
London 3
Norwalk 3
Stanford 3
Bari 2
Braunschweig 2
Brescia 2
Brno 2
Cernusco Lombardone 2
El Segundo 2
Fort Worth 2
Fremont 2
Gdansk 2
Monmouth Junction 2
Redmond 2
San Jose 2
Shanghai 2
São Luís 2
Toronto 2
Volargne 2
Warsaw 2
Wuhan 2
Avellino 1
Brasov 1
Bratislava 1
Bristol 1
Bruchkoebel 1
Cairo 1
Central 1
Centrale 1
Chicago 1
Cologne 1
Des Moines 1
Dryden 1
Eger 1
Exeter 1
Falkenstein 1
Frattamaggiore 1
Fredericton 1
Gravesano 1
Gunzenhausen 1
Heredia 1
Horley 1
Inglewood 1
Ingolstadt 1
Izhevsk 1
Kensington 1
Kista 1
Totale 1.526
Nome #
Robustness Envelopes for Temporal Plans 165
Temporal Planning with Temporal Metric Trajectory Constraints 141
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 130
NuSMV 116
Strong temporal planning with uncontrollable durations 115
Supporting Requirements Validation: The EuRailCheck Tool 93
OthelloPlay: a plug-in based tool for requirement formalization and validation 90
KRATOS 88
The xSAP Safety Analysis Platform 84
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 80
SMT-based Validation of Timed Failure Propagation Graphs 75
Kratos - A Software Model Checker for SystemC 73
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 72
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 68
Solving Temporal Problems using SMT: Weak Controllability 67
Dynamic controllability via Timed Game Automata 66
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 65
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 60
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 59
The nuXmv Symbolic Model Checker 59
Verifying SystemC: a Software Model Checking Approach 59
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 58
Solving strong controllability of temporal problems with uncertainty using SMT 56
Timelines with Temporal Uncertainty 52
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 49
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 47
Solving Temporal Problems using SMT: Strong Controllability 45
Temporal Planning with Intermediate Conditions and Effects 43
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 43
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 31
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 30
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 26
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 24
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 21
SMT-Based Model Checking of Max-Plus Linear Systems 21
Expressive Optimal Temporal Planning via Optimization Modulo Theory 20
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 19
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 13
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 8
Sistema robotico olfattivo 3
Totale 2.434
Categoria #
all - tutte 13.215
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 13.215


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020490 35 32 10 14 52 27 45 17 48 134 53 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/20255 5 0 0 0 0 0 0 0 0 0 0 0
Totale 2.434