Micheli, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 1.232
EU - Europa 781
AS - Asia 243
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
SA - Sud America 3
AF - Africa 1
Totale 2.266
Nazione #
US - Stati Uniti d'America 1.213
DE - Germania 212
IT - Italia 164
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
NL - Olanda 19
FR - Francia 17
CA - Canada 13
JP - Giappone 11
HU - Ungheria 7
IL - Israele 5
SG - Singapore 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
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
CZ - Repubblica Ceca 1
EG - Egitto 1
MX - Messico 1
PK - Pakistan 1
SK - Slovacchia (Repubblica Slovacca) 1
TR - Turchia 1
Totale 2.266
Città #
Chandler 283
Jacksonville 188
Ann Arbor 82
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
Boardman 26
Brussels 23
Beijing 21
Ponte Sasso 17
Nijmegen 16
Woodbridge 16
Stuttgart 13
Milan 11
Guangzhou 10
Phoenix 10
Pune 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
Singapore 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
Cernusco Lombardone 2
El Segundo 2
Fort Worth 2
Fremont 2
Gdansk 2
Monmouth Junction 2
Redmond 2
Shanghai 2
São Luís 2
Toronto 2
Volargne 2
Warsaw 2
Wuhan 2
Avellino 1
Brasov 1
Bratislava 1
Bristol 1
Brno 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
Kunming 1
Leawood 1
Totale 1.454
Nome #
Robustness Envelopes for Temporal Plans 164
Temporal Planning with Temporal Metric Trajectory Constraints 140
PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms 126
Strong temporal planning with uncontrollable durations 114
NuSMV 111
Supporting Requirements Validation: The EuRailCheck Tool 90
OthelloPlay: a plug-in based tool for requirement formalization and validation 88
KRATOS 87
The xSAP Safety Analysis Platform 82
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 80
SMT-based Validation of Timed Failure Propagation Graphs 72
Kratos - A Software Model Checker for SystemC 71
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 69
Solving Temporal Problems using SMT: Weak Controllability 67
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 66
Dynamic controllability via Timed Game Automata 64
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations 63
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 58
The nuXmv Symbolic Model Checker 57
Verifying SystemC: a Software Model Checking Approach 57
Solving strong controllability of temporal problems with uncertainty using SMT 56
Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 56
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 54
Timelines with Temporal Uncertainty 52
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 49
Solving Temporal Problems using SMT: Strong Controllability 45
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping 44
Temporal Planning with Intermediate Conditions and Effects 41
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving 39
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 31
Decidability and Complexity of Action-Based Temporal Planning over Dense Time 24
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans 23
On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning 20
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans 20
SMT-Based Model Checking of Max-Plus Linear Systems 20
Expressive Optimal Temporal Planning via Optimization Modulo Theory 18
Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning 16
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 9
Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture 6
Sistema robotico olfattivo 1
Totale 2.350
Categoria #
all - tutte 12.179
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 12.179


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201926 0 0 0 0 0 0 0 0 0 0 12 14
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/2024343 31 11 46 16 25 90 17 44 27 34 2 0
Totale 2.350